The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic.

Bruno Courcelle Christian Delhommé

Published in: CSL (2005)

Keyphrases

monadic second order logic
structural learning
graph matching
markov chain
expressive power
graph theory
information extraction
data management
decomposition method
data sets
object oriented
regular expressions
tree automata