Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Displaying similar documents to “Суперавтономные нумерации и проектируемые ординалы.”
Проблема описания автоустойчивых моделей
Эффективные оракулы
А.Н. Гамова (1990)
Algebra i Logika
Similarity:
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Эффективные операции выбора на конструктивных и позитивных моделях
Ю.Г. Венцов (1993)
Algebra i Logika
Similarity:
Автономная вычислимость.
Н.В. Белякин (1979)
Algebra i Logika
Similarity:
О вычислимых нумерациях семейств общерекурсивных функций
С.А. Бадаев (1977)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity: