A4.B — Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete

ICALP 2020

A4.B — Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete

Sep 23, 2020
|
28 views
Details
ICALP-B 2020 Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete Wenbo Zhang, Qiang Yin, Huan Long and Xian Xu

Comments
loading...