Универсальные хорновы классы графов и формальных языков Кравченко, Александр Владимирович

brief description

Кравченко, Александр Владимирович.
Универсальные хорновы классы графов и формальных языков : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 86 с.
Оглавление диссертациикандидат физико-математических наук Кравченко, Александр Владимирович
Оглавление
Введение
1. Цветосемейства предикатных систем
1. Определения и предварительные результаты
2. Универсальные хорновы классы
3. Ядра, цветосемейства и нормальные формы
4. Конечно порожденные цветосемейства
5. Цветосемейства формальных языков
2. Антимногообразия и цветосемейства графов
6. Гомоморфизмы и конгруэнции графов
7. Цветосемейства графов
8. Решетка цветосемейств графов
9. Решетка антимногообразий графов
10. Решетка квазимногообразий графов
11. Квазитождества и антитождества цветосемейств
3. Сложность решеток квазимногообразий графов и эндографов
12. Квазимногообразия ориентированных графов
13. Квазимногообразия эндографов
Литература
82