Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995)
Algebra i Logika
Similarity:
Displaying similar documents to “Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий”
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств
Ю.Д. Шмидт (1989)
Algebra i Logika
Similarity:
Вложимость свободной решетки в решетку квазимногообразий дистрибутивных решеток с псевдодополнениями
М.П. Тропин (1983)
Algebra i Logika
Similarity:
Неограниченные полудистрибутивные решетки
Дж.Б. Нейшен (2000)
Algebra i Logika
Similarity:
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
Канонические разложения в полных решетках.
В.А. Горбунов (1978)
Algebra i Logika
Similarity:
Решетки с единственными несократимыми разложениями
М.В. Семенова, M.V. Semenova, M.V. Semenova, M.V. Semyonova (2000)
Algebra i Logika
Similarity:
Строение конечных решеток подполурешеток.
К.В. Адаричева (1991)
Algebra i Logika
Similarity:
Фильтрующие формулы
А.И. Омаров (1991)
Algebra i Logika
Similarity:
Свойства решеток, сохраняющиеся при свободных произведениях
Ю.Л. Ершов (2000)
Algebra i Logika
Similarity:
Индексные множества классов гипер-гиперпростых множеств
В.Л. Селиванов (1990)
Algebra i Logika
Similarity: