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