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