%0 Conference Paper %1 conf/fsttcs/BroadbentG12 %A Broadbent, Christopher H. %A Göller, Stefan %B FSTTCS %D 2012 %E D'Souza, Deepak %E Kavitha, Telikepalli %E Radhakrishnan, Jaikumar %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 160-172 %T On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2012.html#BroadbentG12 %V 18 %@ 978-3-939897-47-7

@inproceedings{conf/fsttcs/BroadbentG12, added-at = {2018-08-23T00:00:00.000+0200}, author = {Broadbent, Christopher H. and Göller, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b6283d733cd53049135b8b447e1bd72d/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2012}, editor = {D'Souza, Deepak and Kavitha, Telikepalli and Radhakrishnan, Jaikumar}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.160}, interhash = {56b2e5e67c5afdbca1f060e484554982}, intrahash = {b6283d733cd53049135b8b447e1bd72d}, isbn = {978-3-939897-47-7}, keywords = {dblp}, pages = {160-172}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2019-09-27T19:29:50.000+0200}, title = {On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2012.html#BroadbentG12}, volume = 18, year = 2012 }