О вычислимых нумерациях семейств общерекурсивных функций
С.А. Бадаев (1977)
Algebra i Logika
Similarity:
Displaying similar documents to “О нумерациях семейств общерекурсивных функций”
О вычислимых нумерациях семейств общерекурсивных функций
Две теоремы о вычислимых нумерациях
В.Л. Селиванов (1976)
Algebra i Logika
Similarity:
О мощности полурешеток нумераций недискретных семейств
С.А. Бадаев (1993)
Sibirskij matematiceskij zurnal
Similarity:
Минимальные нумерации позитивно вычислимых семейств
С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Утончения полиномиальной иерархии.
В.Л. Селиванов (1999)
Algebra i Logika
Similarity:
О нумерациях канонически вычислимых семейств конечных множеств
В.Л. Селиванов (1977)
Sibirskij matematiceskij zurnal
Similarity:
Позитивные нумерации семейств с однозначными нимерациями
С.С. Гончаров (1983)
Algebra i Logika
Similarity:
Иерархия Ершова и T-скачок
В.Л. Селиванов (1988)
Algebra i Logika
Similarity:
О позитивных нумерациях семейств множеств иерархии Ершова
Ж.Т. Таласбаева (2003)
Algebra i Logika
Similarity:
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Similarity:
О сводимости вычислимых нумераций.
А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969)
Algebra i Logika
Similarity:
Применения предполных нумераций к степеням табличного типа и индексным множествам
В.Л. Селиванов (1989)
Algebra i Logika
Similarity: