Некоторые свойства алгебраической сводимости конструктивизаций
С.Т. Федоряев (1990)
Algebra i Logika
Similarity:
Displaying similar documents to “Об ортогонально полной алгебраической системе.”
Некоторые свойства алгебраической сводимости конструктивизаций
Сложность булевых функций в классе полиноминальных поляризованных форм
Н.А. Перязев, N. A. Perjazev, N. A. Perǎzev, N. A. Perjazev (1995)
Algebra i Logika
Similarity:
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
Сложность булевых алгебр и их ранг Скотта.
П.Е. Алаев (1999)
Algebra i Logika
Similarity:
Модельная полнота теории и оценка формул
В.А. Любецкий (1990)
Algebra i Logika
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Полиномиальные разложения булевых функций по невырожденным функциям.
С.Ф. Винокуров, Н.А. Перязев (1991)
Algebra i Logika
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Об алгебраических системах, элементарная теория которых совместима с произвольной группой
В.А. Баранский (1983)
Algebra i Logika
Similarity:
Булевы семейства колец нормирований
Ю.Л. Ершов (1992)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity: