On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic.

Bruno Courcelle

Published in: Descriptive Complexity and Finite Models (1996)

Keyphrases

graph properties
graph theoretic
monadic second order logic
graph theory
directed graph
expressive power
data complexity
tree automata
maximal cliques
graph data
databases
data mining
relational databases
regular expressions