О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.”
О полурешетках вычислимых индексаций классов конструктивных моделей
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивных моделях неразрешимых теорий
К.Ж. Кудайбергенов (1980)
Sibirskij matematiceskij zurnal
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Локальные классы и вычислимые индексации
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Сложность индексного множества конструктивной модели
В.П. Добрица (1983)
Algebra i Logika
Similarity:
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Вычислимость некоторых классов конструктивных алгебр
В.П. Добрица (1977)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
В.П. Добрица (1986)
Sibirskij matematiceskij zurnal
Similarity: