ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Hi-index | 0.00 |