О вычислимости над моделями разрешимых теорий
В.Г. Пузаренко (2000)
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 “Полные классы регулярных полигонов над моноидами глубины 2.”
О вычислимости над моделями разрешимых теорий
Обобщенные вычисления над регулярными нумерациями.
Н.В. Белякин (1973)
Algebra i Logika
Similarity:
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
Частично упорядоченные множества и нематричные тождества неассоциативных алгебр
В.Н. Латышев (1976)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity: