Graph Operations and Monadic Second-Order Logic: A Survey.

Bruno Courcelle

Published in: LPAR (2000)

Keyphrases

graph theory
structured data
random walk

graph structure
monadic second order logic
database

directed graph
special case
state space

np complete
building blocks