Verifying Monadic Second Order Graph Properties with Tree Automata.

Bruno Courcelle Irène Durand

Published in: ELS (2010)

Keyphrases

tree automata
graph properties
monadic second order logic
graph theoretic
regular expressions
finite state
graph theory
finite automata
model checking
directed graph
graph data
tree languages
maximal cliques
context free grammars
databases
datalog programs
random walk
query language
database systems