Fly-automata for checking MSO 2 graph properties.

Bruno Courcelle

Published in: CoRR (2015)

Keyphrases

graph properties
regular expressions
finite state
tree automata
graph theoretic
graph theory
graph data
directed graph
finite automata
pattern matching
markov chain
maximal cliques
query language
data mining
database systems
model checking