Monadic second-order definable graph orderings.
Achim BlumensathBruno CourcellePublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- graph theoretic
- higher order
- transitive closure
- structured data
- connected components
- deductive databases
- graph structure
- graph model
- graph representation
- graph matching
- directed acyclic graph
- datalog queries
- weighted graph
- random walk
- link analysis
- directed graph
- first order logic
- graph clustering
- random graphs
- graph structures
- dependency graph
- graph based algorithm
- knn