Equivalence-checking with one-counter automata: A generic method for proving lower bounds

DSpace/Manakin Repository

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

Show full item record


Title: Equivalence-checking with one-counter automata: A generic method for proving lower bounds
Author: Jančar, Petr
Kučera, Antonín
Moller, Faron
Sawa, Zdeněk
Date issue: 2002
Citation: Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings. 2002, p. 172-186. Lecture notes in computer science, vol. 2303.
URI: http://hdl.handle.net/10084/57568
ISSN: 0302-9743
DOI: 10.1007/3-540-45931-6_13
URI: http://dx.doi.org/10.1007/3-540-45931-6_13
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