Алгебра и логика,
2002, том 41, номер 2, страницы 155–165
(Mi al178)
|
Эта публикация цитируется в
1 статье
Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии
Ю. Д. Корольков
Аннотация:
Даются оценки сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии Клини – Мостовского.
Ключевые слова:
общерекурсивная функция, вычислимое семейство общерекурсивных функций, дискретное семейство общерекурсивных функций, эффективно дискретное семейство общерекурсивных функций.
УДК:
510.5 Поступило: 30.05.1999
© , 2024
Полный текст:
PDF файл (1006 kB)
