Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.

Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu

Browse the full ICALP paper archive.