О гипотезе Д. Скордева
А.В. Дичев (1985)
Algebra i Logika
Similarity:
Displaying similar documents to “О семействах общерекурсивных функций с конечным числом предельных точек.”
О гипотезе Д. Скордева
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
Семейства с одноэлементной полурешеткой Роджерса.
С.С. Гончаров, С.А. Бадаев, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev (1998)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Иерархия Ершова и T-скачок
В.Л. Селиванов (1988)
Algebra i Logika
Similarity:
О замкнутых классах финально периодических функций
А.П. Семигродских (2001)
Algebra i Logika
Similarity:
О вычислимых нумерациях семейств общерекурсивных функций
С.А. Бадаев (1977)
Algebra i Logika
Similarity:
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity:
О полурешетках Роджерса семейств арифметических множеств
С.А. Бадаев, С.С. Гончаров (2001)
Algebra i Logika
Similarity:
Содержание томов 21-30
([unknown])
Algebra i Logika
Similarity:
Содержание томов 11-20
([unknown])
Algebra i Logika
Similarity:
О нумерациях семейств общерекурсивных функций
В.Л. Селиванов (1976)
Algebra i Logika
Similarity:
Утончения полиномиальной иерархии.
В.Л. Селиванов (1999)
Algebra i Logika
Similarity: