|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программдоклад на конференции
- Авторы: Попеско У.В., Захаров В.А.
- Международная Конференция : Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова
- Даты проведения конференции: 20-25 июня 2016
- Дата доклада: 22 июня 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ, Russia
-
Аннотация доклада:
Доказано, что отношение логико-термальной эквивалентности недетерминированных стандартных схем программ является алгоритмически неразрешимым
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Захаров Владимир Анатольевич