Skip to content

The Decidability of Equivalence for Deterministic Finite-Turn Pushdown Automata

Leslie G. Valiant

VenueA*STOC
Year1974
ProceedingsSTOC

Browse the full STOC paper archive.