@inproceedings{broadbent_et_al:LIPIcs:2012:3858,
Address = {Dagstuhl, Germany},
Annote = {Keywords: Bisimulation equivalence, Higher-order pushdown automata},
Author = {Broadbent, Christopher and G{\"o}ller, Stefan},
BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
Editor = {D'Souza, Deepak and Kavitha, Telikepalli and Radhakrishnan, Jaikumar},
File = {On Bisimilarity of Higher-Order Pushdown Automata Undecidability at Order Two - Broadbent, Göller (1) (0) - a - a - s.pdf},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
Pages = {160--172},
Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Title = {{On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two}},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3858},
Volume = {18},
Year = {2012},
bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2012/3858},
bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.160},
date-added = {2013-01-28 15:31:35 +0000},
date-modified = {2013-01-28 15:31:35 +0000},
file-2 = {On Bisimilarity of Higher-Order Pushdown Automata Undecidability at Order Two - Broadbent, Göller (2) (0) - a - a - s.pdf},
urn = {urn:nbn:de:0030-drops-38583},
doi = {10.4230/LIPIcs.FSTTCS.2012.160}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
