|
Записки научных семинаров ЛОМИ, 1976, том 60, страницы 3–14
(Mi znsl2065)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Итеративное описание класса $\varepsilon^1$ иерархии
Гжегорчика
А. П. Бельтюков
Аннотация:
Описывается некоторый класс абстрактных вычислительных машин.
Доказывается, что класс функций, вычислимых на этих машинах,
равен Классу $\varepsilon^1$ иерархии Гжегорчика. Библ. 4 назв.
Образец цитирования:
А. П. Бельтюков, “Итеративное описание класса $\varepsilon^1$ иерархии
Гжегорчика”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 3–14; J. Soviet Math., 14:5 (1980), 1429–1436
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2065 https://www.mathnet.ru/rus/znsl/v60/p3
|
Статистика просмотров: |
Страница аннотации: | 232 | PDF полного текста: | 87 |
|