|
Алгебра и логика, 1980, том 19, номер 5, страницы 507–551
(Mi al1698)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Вычислимые однозначные нумерации
С. С. Гончаров
Аннотация:
Построены примеры семейств рекурсивно-перечислимых множеств с любым конечным числом неавтоэквивалентных нумераций, что полностью решает проблему числа однозначных вычислимых нумераций.
Поступило: 11.11.1979
Образец цитирования:
С. С. Гончаров, “Вычислимые однозначные нумерации”, Алгебра и логика, 19:5 (1980), 507–551
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1698 https://www.mathnet.ru/rus/al/v19/i5/p507
|
Статистика просмотров: |
Страница аннотации: | 94 | PDF полного текста: | 34 |
|