О сложности задачи решения линейных уравнений над конечными подстановками.

Авторы

Новикова Т.А., Захаров В.А.

Аннотация

Установлены оценки сложности решения различных видов линейных уравнений над полугруппой подстановок. Показана применимость алгоритмов решения уравнений над подстановками для анализа поведения последовательных программ.

Полный текст статьи в формате pdf

Ключевые слова

подстановка, унификация, уравнение, сложность, логико-термальная эквивалентность программ

Издание

Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 221-223.

Научная группа

Теоретическая информатика

Все публикации за 2014 год

Все публикации