Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Boolean language operations on nondeterministic automata with a pushdown of constant height. (English) Zbl 1374.68251 J. Comput. Syst. Sci. 90, 99-114 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., J. Comput. Syst. Sci. 90, 99--114 (2017; Zbl 1374.68251) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Removing nondeterminism in constant height pushdown automata. (English) Zbl 1360.68539 Inf. Comput. 237, 257-267 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Inf. Comput. 237, 257--267 (2014; Zbl 1360.68539) Full Text: DOI
Geffert, Viliam; Malcher, Andreas; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice A direct construction of finite state automata for pushdown store languages. (English) Zbl 1388.68171 Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 90-101 (2013). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 8031, 90--101 (2013; Zbl 1388.68171) Full Text: DOI
Geffert, Viliam; Bednárová, Zuzana; Mereghetti, Carlo; Palano, Beatrice Boolean language operations on nondeterministic automata with a pushdown of constant height. (English) Zbl 1362.68139 Bulatov, Andrei A. (ed.) et al., Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38535-3/pbk). Lecture Notes in Computer Science 7913, 100-111 (2013). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 7913, 100--111 (2013; Zbl 1362.68139) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Removing nondeterminism in constant height pushdown automata. (English) Zbl 1304.68092 Kutrib, Martin (ed.) et al., Descriptional complexity of formal systems. 14th international workshop, DCFS 2012, Braga, Portugal, July 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31622-7/pbk). Lecture Notes in Computer Science 7386, 76-88 (2012). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Lect. Notes Comput. Sci. 7386, 76--88 (2012; Zbl 1304.68092) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice The size-cost of Boolean operations on constant height deterministic pushdown automata. (English) Zbl 1272.68205 Theor. Comput. Sci. 449, 23-36 (2012). MSC: 68Q45 68Q19 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Theor. Comput. Sci. 449, 23--36 (2012; Zbl 1272.68205) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice The size-cost of Boolean operations on constant height deterministic pushdown automata. (English) Zbl 1341.68076 Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 80-92 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Lect. Notes Comput. Sci. 6808, 80--92 (2011; Zbl 1341.68076) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice More concise representation of regular languages by automata and regular expressions. (English) Zbl 1192.68409 Inf. Comput. 208, No. 4, 385-394 (2010). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Inf. Comput. 208, No. 4, 385--394 (2010; Zbl 1192.68409) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice More concise representation of regular languages by automata and regular expressions. (English) Zbl 1161.68529 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 359-370 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 5257, 359--370 (2008; Zbl 1161.68529) Full Text: DOI