Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
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 “Алгоритмические проблемы и иерархии языков первого порядка”
Алгоритмические размерности гомоморфных образов моделей
Подходы к теории обобщенной вычислимости
И.В. Ашаев, В.Я. Беляев, А.Г. Мясников (1993)
Algebra i Logika
Similarity:
О категоричных позитивных хорновских теориях.
Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979)
Algebra i Logika
Similarity:
Об алгебраических системах, элементарная теория которых совместима с произвольной группой
В.А. Баранский (1983)
Algebra i Logika
Similarity:
Матричные иерархии языков первого порядка и их приложения.
Ю.М. Важенин (1991)
Algebra i Logika
Similarity:
О подобиях и близости полных теорий
Т.Г. Мустафин (1990)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Об ортогонально полной алгебраической системе.
А.И. Омаров (1991)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Некоторые алгоритмические вопросы ассоциативных алгебр
У.У. Умирбаев (1993)
Algebra i Logika
Similarity:
Квазисоотношения в свободной группе и проблемы эквивалентности преобразователей.
Л.П. Лисовик (1986)
Algebra i Logika
Similarity:
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
К теории квазимногообразий алгебраических систем.
А.Н. Будкин, В.А. Горбунов (1975)
Algebra i Logika
Similarity:
Нерегулярное исчисление предикатов первого порядка.
А. Таутс (1969)
Algebra i Logika
Similarity:
Алгебраические системы 2-й ступени
Ю.М. Мовсисян (1975)
Matematiceskie issledovanija
Similarity:
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995)
Algebra i Logika
Similarity:
О категоричности конечно-порожденных алгебраических систем и HF-логике
В.Я. Беляев, Е.Е. Лютикова, В.Н. Ремесленников, I. Ja. Beljaev (1995)
Algebra i Logika
Similarity:
Группоид многообразий некоторых алгебр.
А.А. Урман (1969)
Algebra i Logika
Similarity:
Об алгебраической семантике для суперинтуиционистских предикатных логик.
Д.Е. Тишковский, D.E. Tiškovskij, D.E. Tiškovskij, D.E. Tiškovskij (1999)
Algebra i Logika
Similarity:
О многообразиях алгебраических систем и пропозициональных исчислениях.
А.А. Шум (1984)
Algebra i Logika
Similarity:
О теории моделей на наследственно конечных надстройках.
В.Г. Пузаренко (2002)
Algebra i Logika
Similarity:
Критические теории некоторых классов графов и унарных алгебр
С.В. Сизый (1989)
Algebra i Logika
Similarity:
Об элементарной эквивалентности свободных алгебр многообразий Кантора.
Л.В. Шабунин, L.V. Šabunin, L.V. Šabunin, L.V. Šabunin (1999)
Algebra i Logika
Similarity:
Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Опроизведении формаций алгебраических систем.
Л.А. Шеметков (1984)
Algebra i Logika
Similarity:
О применениях булевых степеней алгебраических систем.
А.Г. Пинус (1985)
Sibirskij matematiceskij zurnal
Similarity:
Некоторые проблемы математической теории нелинейной фильтрации
В.М. Ентов (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity: