|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Pre-Proceedings of CIAA-2004 "The 9-th International Conference on Implementation and Application of Automata" (July 22-24сборник
- Год издания: 2004
- Место издания: Kingston, Ontario, Canada
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2004 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, место издания Kingston, Ontario, Canada, с. 231-240