%0 Journal Article %1 journals/ita/Buntrock91 %A Buntrock, Gerhard %A Drewes, Frank %A Lautemann, Clemens %A Mossakowski, Till %D 1991 %J RAIRO Theor. Informatics Appl. %K %P 545-556 %T Some modifications of auxiliary pushdown automata. %U http://dblp.uni-trier.de/db/journals/ita/ita25.html#Buntrock91 %V 25

@article{journals/ita/Buntrock91, added-at = {2023-12-13T10:10:27.000+0100}, author = {Buntrock, Gerhard and Drewes, Frank and Lautemann, Clemens and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/22130358e5d8e0fd97ff68911d2eb36fe/admin}, ee = {https://doi.org/10.1051/ita/1991250605451}, interhash = {d58bf6f363654f85c17dbd407c29fe8b}, intrahash = {2130358e5d8e0fd97ff68911d2eb36fe}, journal = {RAIRO Theor. Informatics Appl.}, keywords = {}, pages = {545-556}, timestamp = {2023-12-13T10:10:27.000+0100}, title = {Some modifications of auxiliary pushdown automata.}, url = {http://dblp.uni-trier.de/db/journals/ita/ita25.html#Buntrock91}, volume = 25, year = 1991 }