Circle graphs and monadic second-order logic.

Bruno Courcelle

Published in: J. Appl. Log. (2008)

Keyphrases

monadic second order logic
graph matching
graph theory
expressive power
tree automata
directed graph
data complexity
machine learning
query language
query answering
weighted graph