Skip to content

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications.

Bruno Courcelle

VenueCLATA
Year2009
ProceedingsLATA

Browse the full LATA paper archive.