Simulation problems for one-counter machines

Autor
Datum vydání
1999
Typ dokumentu
article
Lokace
Ve fondu ÚK
ISSN
0302-9743
1611-3349
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
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.
Dostupné na
https://link.springer.com/chapter/10.1007/3-540-47849-3_28
URI
http://hdl.handle.net/10084/61817
Kolekce
Citace PRO