Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Г.П. Гаврилов (1984)
Algebra i Logika
Similarity:
Displaying similar documents to “К существованию конечных базисов в замкнутых классах булевых функций.”
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity:
О представлении частично-рекурсиных функций с некоторыми условиями в виде суперпозиций
B.B. Козьминых, V.V. Koz'minych, V.V. Koz'minyh, V.V. Koz'minykh (1974)
Algebra i Logika
Similarity:
Универсальные хорновы классы и антимногообразия алгебраических систем
В.А. Горбунов, A.B. Кравченко (2000)
Algebra i Logika
Similarity:
Сложность булевых функций в классе полиноминальных поляризованных форм
Н.А. Перязев, N. A. Perjazev, N. A. Perǎzev, N. A. Perjazev (1995)
Algebra i Logika
Similarity:
О базисас квазитождеств конечных дистрибутивных p-алгебр
М.П. Тропин (1987)
Algebra i Logika
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity:
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Описание категоричных позитивных хорновых классов
Е.А. Палютин (1980)
Algebra i Logika
Similarity: