Monadic Second Order Logic and Node Relations on Graphs and Trees.
Roderick BloemJoost EngelfrietPublished in: Structures in Logic and Computer Science (1997)
Keyphrases
- monadic second order logic
- tree automata
- directed graph
- expressive power
- tree structure
- graph structure
- tree nodes
- finding the shortest path
- regular expressions
- undirected graph
- relational structures
- leaf nodes
- edge weights
- data complexity
- semantic relations
- decision trees
- graph theoretic
- shortest path
- first order logic
- weighted graph
- artificial intelligence
- query language
- knowledge base
- finite automata
- social networks
- databases
- finite state
- spanning tree
- graph mining
- database
- high level