Simulation Problems for One-Counter Machines.

Petr Jancar, Faron Moller, Zdenek Sawa

Browse the full SOFSEM paper archive.