Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Displaying similar documents to “Некоторые свойства автоустойчивых моделей”
Проблема описания автоустойчивых моделей
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
Подходы к теории обобщенной вычислимости
И.В. Ашаев, В.Я. Беляев, А.Г. Мясников (1993)
Algebra i Logika
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
Равномерность в теории вычислимых структур
Р. Доуни, Д. Хиршвельд, Б. Хусаинов (2003)
Algebra i Logika
Similarity:
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity: