|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On the equivalence-checking problem for a model of programs related with multi-tape automataстатья
- Авторы: Zakharov V.A., Zakharyaschev I.M.
- Сборник: Pre-Proceedings of CIAA-2004 "The 9-th International Conference on Implementation and Application of Automata" (July 22-24
- Год издания: 2004
- Место издания: Kingston, Ontario, Canada
- Первая страница: 231
- Последняя страница: 240
- Добавил в систему: Захаров Владимир Анатольевич