|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
On the equivalence checking problem for a model of programs related with muti-tape automataстатья
- Авторы: Zakharov V.A., Zakharyaschev I.M.
- Сборник: Proceedings of the 9-th International Conference on Implementation and Application of Automata (CIAA'04), July 22-24, 2004), Kingston, Ontario, Canada
- Серия: Lecture Notes in Computer Science
- Том: 3317
- Год издания: 2005
- Место издания: Springer
- Первая страница: 293
- Последняя страница: 305
- Добавил в систему: Захаров Владимир Анатольевич