Simulation problems for one-counter machines
Ve fondu ÚK
MetadataShow full item record
Citation source document
SOFSEM 1999 : 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. 1999, p. 404-413. Lecture notes in computer science, vol. 1725.