Regular Graphs and the Spectra of Two-Variable Logic with Counting.
Eryk KopczynskiTony TanPublished in: SIAM J. Comput. (2015)
Keyphrases
- predicate logic
- modal logic
- graph mining
- classical logic
- graph clustering
- multi valued
- proof theory
- logic programming
- graph matching
- graph theory
- graph structure
- graph partitioning
- automated reasoning
- logical formulas
- knowledge base
- series parallel
- graph theoretic
- hyperspectral images
- graph representation
- complex structures
- graph databases
- principal component analysis
- pairwise