Ivan Zakharyaschev

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Vladimir A. Zakharov, Ivan Zakharyaschev
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. CIAA (2004)