Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk DP lower bounds for equivalence-checking and model-checking of one-counter automata. (English) Zbl 1078.68087 Inf. Comput. 188, No. 1, 1-19 (2004). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{P. Jančar} et al., Inf. Comput. 188, No. 1, 1--19 (2004; Zbl 1078.68087) Full Text: DOI
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk Equivalence-checking with one-counter automata: A generic method for proving lower bounds. (English) Zbl 1077.68653 Nielsen, Mogens (ed.) et al., 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. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 172-186 (2002). MSC: 68Q17 68Q45 68Q85 PDF BibTeX XML Cite \textit{P. Jančar} et al., Lect. Notes Comput. Sci. 2303, 172--186 (2002; Zbl 1077.68653) Full Text: Link
Jančar, Petr; Moller, Faron; Sawa, Zdeněk Simulation problems for one-counter machines. (English) Zbl 0963.68094 Pavelka, Jan (ed.) et al., SOFSEM ’99: 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. Berlin: Springer. Lect. Notes Comput. Sci. 1725, 404-413 (1999). MSC: 68Q45 PDF BibTeX XML Cite \textit{P. Jančar} et al., Lect. Notes Comput. Sci. 1725, 404--413 (1999; Zbl 0963.68094)