An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata

Catriel Beeri

Browse the full FOCS paper archive.