RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив
Сиб. матем. журн., 1989, том 30, номер 6, страницы 26–41 (Mi smj4659)
Эта публикация цитируется в 2 статьях

Итерированная клиниевская вычислимость

Н. В. Белякин


Аннотация: Дается систематическое изложение одного метода построения рекурсивных иерархий, основанного на итерации вычислимости (по Клини) относительно объектов типа $2$.
Библиогр. 9.

УДК: 517.11:518.5

Статья поступила: 20.03.1989


 Англоязычная версия: Siberian Mathematical Journal, 1989, 30:6, 850–862

Реферативные базы данных:

© МИАН, 2024