Категоричные хорновы классы.I
Е.А. Палютин (1980)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Семантически универсальные классы моделей.”
Категоричные хорновы классы.I
Универсальные расширенные теории целых чисел
В.И. Мартьянов (1977)
Algebra i Logika
Similarity:
Семантическая универсальность теорий над суперсписком
М.Г. Перетятькин (1992)
Algebra i Logika
Similarity:
Описание категоричных позитивных хорновых классов
Е.А. Палютин (1980)
Algebra i Logika
Similarity:
Универсальные хорновы классы и антимногообразия алгебраических систем
В.А. Горбунов, A.B. Кравченко (2000)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
О категоричных позитивных хорновских теориях.
Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
М.Г. Перетятькин (1983)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity: