Vladimir A. Uspensky;Alexei L. Semenov
-;-
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality