Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: