PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Program equivalence checking by two-tape automata
Cybernetics and Systems Analysis
On the equivalence-checking problem for a model of programs related with multi-tape automata
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Hi-index | 0.00 |