Ivan Zakharyaschev

According to our database, Ivan Zakharyaschev authored at least 1 paper in 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.

Vladimir A. Zakharov, Ivan Zakharyaschev

Proceedings of the Implementation and Application of Automata, 2004