activity
20102013
most citedA Short Decidability Proof for DPDA Language Equivalence via First-Order Grammars

3 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing 2013 · cs.LOShow all

1 paper · 2 filters

cs.LO2013★ 1 cited

Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes

Petr Jančar, Jiří Srba

Broadbent and Göller (FSTTCS 2012) proved the undecidability of bisimulation equivalence for processes generated by epsilon-free second-order pushdown automata. We add a few remark…