Skip to content

Decidability of DPDA Language Equivalence via First-Order Grammars.

Petr Jancar

VenueA*LICS
Year2012
ProceedingsLICS

Browse the full LICS paper archive.