Вычислимые функционалы и арифметика ординальных типов
В.А. Ганов (1986)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Последовательно и параллельно вычислимые функционалы.”
Вычислимые функционалы и арифметика ординальных типов
О выразимости функционалов в языке Д.Скотта LCF
В.Ю. Сазонов (1976)
Algebra i Logika
Similarity:
О мощности полурешеток нумераций недискретных семейств
С.А. Бадаев (1993)
Sibirskij matematiceskij zurnal
Similarity:
О главных нумерациях функционалов над допустимыми множествами
Р.Ю. Вайценавичюс (1990)
Algebra i Logika
Similarity:
О вычислимых нумерациях семейств общерекурсивных функций
С.А. Бадаев (1977)
Algebra i Logika
Similarity:
О нумерациях семейств общерекурсивных функций
В.Л. Селиванов (1976)
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:
Нумерации семейств общерекурсивных функций
Ю.Л. Ершов (1967)
Sibirskij matematiceskij zurnal
Similarity:
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Similarity:
Минимальные нумерации позитивно вычислимых семейств
С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)
Algebra i Logika
Similarity:
Максимальные и всюду определенные функционалы.
Ю.Л. Ершов (1974)
Algebra i Logika
Similarity:
Последовательности функционалов с пограничным слоем
В.И. Половинкин (1974)
Sibirskij matematiceskij zurnal
Similarity:
Об иерархии конструктивных функционалов Брауэра
Н.А. Шанин (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Две теоремы о вычислимых нумерациях
В.Л. Селиванов (1976)
Algebra i Logika
Similarity:
О вычислимых нумерациях.
Ю.Л. Ершов (1968)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity: