Ivan Zakharyaschev

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 EE Vladimir A. Zakharov, Ivan Zakharyaschev: On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. CIAA 2004: 293-305

2004
1	EE	Vladimir A. Zakharov, Ivan Zakharyaschev: On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. CIAA 2004: 293-305

Coauthor Index

1 Vladimir A. Zakharov [1]