Edit Distance for Pushdown Automata.

Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop

Browse the full ICALP paper archive.