Skip to content

Equivalences and Transformations of Recursive Definitions

Bruno Courcelle

VenueA*FOCS
Year1985
ProceedingsFOCS

Browse the full FOCS paper archive.