Skip to content

The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs.

Bruno Courcelle

VenueBWG
Year1988
ProceedingsWG

Browse the full WG paper archive.