Неразрешимость проблем равенства и делимости в некоторых многообразиях полугрупп.
И.Л. Мельничук (1984)
Algebra i Logika
Similarity:
Displaying similar documents to “Матричные иерархии языков первого порядка и их приложения.”
Неразрешимость проблем равенства и делимости в некоторых многообразиях полугрупп.
О вычислимых нумерациях. II.
Ю.Л. Ершов, И.А. Лавров (1969)
Algebra i Logika
Similarity:
О вычислимых нумерациях.
Ю.Л. Ершов (1968)
Algebra i Logika
Similarity:
Теория A-пространств.
Ю.Л. Ершов (1973)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity:
Описание категоричных позитивных хорновых классов
Е.А. Палютин (1980)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
Письмо в редакцию
А.С. Джумадильдаев (1989)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity: