Definability in first-order theories of graph orderings ⋆.
R. RamanujamRamanathan S. ThinniyamPublished in: J. Log. Comput. (2020)
Keyphrases
- graph theory
- finite model theory
- first order logic
- higher order
- theory revision
- graph representation
- graph model
- graph structure
- random walk
- horn clauses
- structured data
- directed graph
- propositional logic
- spanning tree
- fixed point
- refinement operators
- bipartite graph
- connected components
- graph databases
- expressive power
- graph construction
- graph matching
- graph mining
- random graphs
- theoretical framework
- dependency graph