Оценки высоты термов в наиболее общем унификаторе Конев, Борис Юрьевич

Краткое описание

Конев, Борис Юрьевич.
Оценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06. - Санкт-Петербург, 1998. - 100 с. : ил.
Оглавление диссертациикандидат физико-математических наук Конев, Борис Юрьевич
Оглавление
Введение
1 Оденки высоты термов в наиболее общем унификаторе
1.1 Основные понятия
1.1.1 Термы и меры сложности
1.1.2 Подстановки и задача унификации
1.1.3 Процедуры унификации
1.2 Оценки относительно разности глубин
1.2.1 Нижняя оценка
1.2.2 Верхняя оценка
1.3 Оценки относительно количества неизвестных не типа сечения
1.3.1 Нижняя оценка
1.3.2 Верхняя оценка
1.4 Оценки относительно количества неизвестных с различными путями
1.4.1 Нижняя оценка
2 Верхняя оценка высоты термов в выводах с сечениями
2.1 Исчисления КвЬ и ЮЬ
2.2 Верхняя оценка высоты термов в выводе с сечениями
в исчислении КО/ и ЮЬ
Литература