DP lower bounds for equivalence-checking and model-checking of one-counter automata

DSpace/Manakin Repository

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

Show full item record


Title: DP lower bounds for equivalence-checking and model-checking of one-counter automata
Author: Jančar, Petr
Kučera, Antonín
Moller, Faron
Sawa, Zdeněk
Date issue: 2004
Citation: Information and computation. 2004, vol. 188, issue 1, p. 1-19.
URI: http://hdl.handle.net/10084/57116
ISSN: 0890-5401
DOI: 10.1016/S0890-5401(03)00171-8
URI: http://dx.doi.org/10.1016/S0890-5401(03)00171-8
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)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics