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