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]

@inproceedings{JancarMS99,
  title = {Simulation Problems for One-Counter Machines},
  author = {Petr Jancar and Faron Moller and Zdenek Sawa},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1725/17250404.htm},
  researchr = {https://researchr.org/publication/JancarMS99},
  cites = {0},
  citedby = {0},
  pages = {404-413},
  booktitle = {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},
  editor = {Jan Pavelka and Gerard Tel and Miroslav Bartosek},
  volume = {1725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66694-X},
}