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]

Abstract

Abstract is missing.