Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Displaying similar documents to “Сложность индексного множества конструктивной модели”
Структурные свойства вычислимых классов конструктивных моделей
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
В.П. Добрица (1989)
Sibirskij matematiceskij zurnal
Similarity:
Локальные классы и вычислимые индексации
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Сложность индексных множеств вычислимых классов с конечным числом конструктивных систем
В.П. Добрица (1986)
Sibirskij matematiceskij zurnal
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
О конструктивных моделях неразрешимых теорий
К.Ж. Кудайбергенов (1980)
Sibirskij matematiceskij zurnal
Similarity:
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Вариант конструктивных ординалов Рихтера.
Н.В. Белякин (1969)
Algebra i Logika
Similarity:
О вычислимости с функционалами
В.И. Амстиславский (1973)
Algebra i Logika
Similarity:
Суперавтономные нумерации и проектируемые ординалы.
А.Н. Гамова (1991)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
Algebra i Logika
Similarity:
Сложность вычисления псевдослучайных последовательностей.
В.Н. Агафонов (1968)
Algebra i Logika
Similarity: