Simulation problems for one-counter machines

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/61817

Show full item record


Title: Simulation problems for one-counter machines
Author: Jančar, Petr
Moller, Faron
Sawa, Zdeněk
Date issue: 1999
Citation: 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.
URI: http://hdl.handle.net/10084/61817
ISSN: 0302-9743
1611-3349
URI: http://www.springerlink.com/content/j7mym2xkp6ran0ug/fulltext.pdf
ISBN: 3-540-66694-X
Type: article
Počet citací dokumentu:

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

  • Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1991]
    Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics