Булевы семейства колец нормирований
Ю.Л. Ершов (1992)
Algebra i Logika
Similarity:
Displaying similar documents to “Модельная полнота теории и оценка формул”
Булевы семейства колец нормирований
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Сложность булевых функций в классе полиноминальных поляризованных форм
Н.А. Перязев, N. A. Perjazev, N. A. Perǎzev, N. A. Perjazev (1995)
Algebra i Logika
Similarity:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Булевы семейства колец нормирований. II
Ю.Л. Ершов (1993)
Algebra i Logika
Similarity:
Полиномиальные разложения булевых функций по невырожденным функциям.
С.Ф. Винокуров, Н.А. Перязев (1991)
Algebra i Logika
Similarity:
Some Remarks On Boolean Terms - Model Theoretic Approach
Žarko Mijajlović (1977)
Publications de l'Institut Mathématique
Similarity:
Об ортогонально полной алгебраической системе.
А.И. Омаров (1991)
Algebra i Logika
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Сложность булевых алгебр и их ранг Скотта.
П.Е. Алаев (1999)
Algebra i Logika
Similarity: