Skip to content

Bisimulation Equivalence of First-Order Grammars.

Petr Jancar

VenueA*ICALP
Year2014
ProceedingsICALP (2)

Browse the full ICALP paper archive.