Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
Algebra i Logika
Similarity:
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: