Simulation Problems for One-Counter Machines

Petr Jancar, Faron Moller, Zdenek Sawa. Simulation Problems for One-Counter Machines. In Jan Pavelka, Gerard Tel, Miroslav Bartosek, editors, SOFSEM 99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Volume 1725 of Lecture Notes in Computer Science, pages 404-413, Springer, 1999. [doi]

Authors

Petr Jancar

This author has not been identified. Look up 'Petr Jancar' in Google

Faron Moller

This author has not been identified. Look up 'Faron Moller' in Google

Zdenek Sawa

This author has not been identified. Look up 'Zdenek Sawa' in Google