Removing Nondeterminism in Constant Height Pushdown Automata

Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano. Removing Nondeterminism in Constant Height Pushdown Automata. In Martin Kutrib, Nelma Moreira, Rogério Reis, editors, Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Volume 7386 of Lecture Notes in Computer Science, pages 76-88, Springer, 2012. [doi]

@inproceedings{BednarovaGMP12,
  title = {Removing Nondeterminism in Constant Height Pushdown Automata},
  author = {Zuzana Bednárová and Viliam Geffert and Carlo Mereghetti and Beatrice Palano},
  year = {2012},
  doi = {10.1007/978-3-642-31623-4_6},
  url = {http://dx.doi.org/10.1007/978-3-642-31623-4_6},
  researchr = {https://researchr.org/publication/BednarovaGMP12},
  cites = {0},
  citedby = {0},
  pages = {76-88},
  booktitle = {Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
  editor = {Martin Kutrib and Nelma Moreira and Rogério Reis},
  volume = {7386},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31622-7},
}