Vladimir A. Zakharov, Ivan Zakharyaschev. On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. In Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu, editors, Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers. Volume 3317 of Lecture Notes in Computer Science, pages 293-305, Springer, 2004. [doi]
Abstract is missing.