|
Алгебра и логика, 1986, том 25, номер 3, страницы 292–314
(Mi al1942)
|
|
|
|
Некоторые модификации итерированной клиниевской вычислимости
Е. Г. Никифорова
Аннотация:
Изучаются свойства некоторых модификаций итерированной клиниевской вычислимости и анализируются соответствующие порождающие механизмы. В частности, рассматривается обобщение итерированной клиниевской вычислимости на многозначные функционалы типа $2$ и свойства свободно становящихся иерархий.
Поступило: 27.09.1985
Образец цитирования:
Е. Г. Никифорова, “Некоторые модификации итерированной клиниевской вычислимости”, Алгебра и логика, 25:3 (1986), 292–314
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1942 https://www.mathnet.ru/rus/al/v25/i3/p292
|
Статистика просмотров: |
Страница аннотации: | 55 | PDF полного текста: | 18 |
|