Definability in First Order Theories of Graph Orderings.
Ramaswamy RamanujamRamanathan S. ThinniyamPublished in: LFCS (2016)
Keyphrases
- graph representation
- finite model theory
- theory revision
- fixed point
- graph structure
- connected components
- graph theory
- higher order
- theoretical framework
- random walk
- first order logic
- graph matching
- weighted graph
- graph databases
- spanning tree
- graph theoretic
- graph based algorithm
- propositional theories
- propositional logic
- database theory
- graph model
- logic programs