Regulated Nondeterminism in Pushdown Automata

Martin Kutrib, Andreas Malcher, Larissa Werlein. Regulated Nondeterminism in Pushdown Automata. In Jan Holub, Jan Zdárek, editors, Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers. Volume 4783 of Lecture Notes in Computer Science, pages 85-96, Springer, 2007. [doi]

Abstract

Abstract is missing.