|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О сложности задачи решения линейных уравнений над конечными подстановками доклад на конференции
- Авторы: Новикова Т.А., Захаров В.А.
- Международная Конференция : 17-я Международная конференция «Проблемы теоретической кибернетики»
- Даты проведения конференции: 2014
- Тип доклада: не указан
- Докладчик: Новикова Т.А.
- Место проведения: г.Казань,
-
Аннотация доклада:
Задача решения линейных уравнений над конечными подстановками является обобщением широко известных задач унификации и антиунификации формул.Другие варианты этой задачи возникают при проверке отношений подобия для программ. В частности, нами исследована один из таких вариантов указанной задачи, для которого установлена его PSPACE-полнота.
- Добавил в систему: Новикова Татьяна Анатольевна