Алгебра и логика,
1990, том 29, номер 6, страницы 637–647
(Mi al2126)
|
Эффективные оракулы
А. Н. Гамова
Аннотация:
Теория метарекурсии Крайзеля–Сакса обобщается в терминах вычислений с оракулами на произвольные проектируемые в
$\omega$ ординалы.
УДК:
517.15 Поступило: 06.06.1989
Реферативные базы данных:
© , 2024