Publication Records

BROŽEK, Václav. Regularity in PDA Games Revisited. In MEMICS 2008 proceedings. Brno: L. Matyska, D. Antoš, M. Češka, Z. Kotásek, T. Vojnar, M. Křetínský (Eds.), 2008, p. 21-28. ISBN 978-80-7355-082-0.

BROŽEK, Václav. Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno: Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007, p. 27-34. ISBN 978-80-7355-077-6.

MASOPUST, Tomáš. Closure Properties of Linear Languages under Operations of Linear Deletion. In Proceedings of 1st International Workshop WFM'06. Přerov: MARQ, 2006, p. 45-52. ISBN 80-86840-20-4.

KARHUMÄKI, Juhani, Michal KUNC and Alexander OKHOTIN. Computing by commuting. Theoretical Computer Science. Amsterdam: Elsevier, 2006, vol. 356, 1-2, p. 200-211. ISSN 0304-3975.

POLÁK, Libor. Operators on classes of regular languages. In Semigroups, Algorithms, Automata and Languages. Singapore: World Scientific, 2002, p. 407-423. ISBN 981-238-099-X.