|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
The equivalence problem for programs with mode switching is PSPACE-completeстатья
- Авторы: Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
- Сборник: Труды Института системного программирования РАН
- Том: 11
- Год издания: 2006
- Место издания: ИСП РАН
- Первая страница: 111
- Последняя страница: 135
- Добавил в систему: Захаров Владимир Анатольевич