![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Задача решения линейных уравнений над конечными подстановками является обобщением широко известных задач унификации и антиунификации формул.Другие варианты этой задачи возникают при проверке отношений подобия для программ. В частности, нами исследована один из таких вариантов указанной задачи, для которого установлена его PSPACE-полнота.