Вы здесь

Главная

терм

Связанные издания:

О пересечении множеств равенств термов в конечноопределенных алгебрах
Переписываю ая машина и оптимизация стратегий переписывания термов
Системы подстановки термов
Упорядочение термов теории типов Мартин-Лефа, теоремы о неподвижной точке и двойной рекурсии в теории типов Мартин-Лефа
Ускорение логического проектирования надежных управляю их автоматов