Skip to content

The Definability of Equational Graphs in Monadic Second-Order Logic.

Bruno Courcelle

VenueA*ICALP
Year1989
ProceedingsICALP

Browse the full ICALP paper archive.