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