Graph decompositions definable in monadic second-order logic.
Bruno CourcellePublished in: Electron. Notes Discret. Math. (2005)
Keyphrases
- monadic second order logic
- expressive power
- data complexity
- regular expressions
- tree automata
- directed graph
- first order logic
- query language
- graph structure
- random walk
- query evaluation
- graph theory
- incomplete information
- directed acyclic graph
- data sets
- structured data
- machine learning
- query answering
- finite state
- high level
- tree width
- data mining