|
Алгебра и логика, 2002, том 41, номер 2, страницы 155–165
(Mi al178)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии
Ю. Д. Корольков
Аннотация:
Даются оценки сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии Клини – Мостовского.
Ключевые слова:
общерекурсивная функция, вычислимое семейство общерекурсивных функций, дискретное семейство общерекурсивных функций, эффективно дискретное семейство общерекурсивных функций.
Поступило: 30.05.1999
Образец цитирования:
Ю. Д. Корольков, “Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии”, Алгебра и логика, 41:2 (2002), 155–165; Algebra and Logic, 41:2 (2002), 87–92
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al178 https://www.mathnet.ru/rus/al/v41/i2/p155
|
Статистика просмотров: |
Страница аннотации: | 272 | PDF полного текста: | 81 | Список литературы: | 41 | Первая страница: | 1 |
|