Paley graphs satisfy all first-order adjacency axioms.

Andreas Blass Geoffrey Exoo Frank Harary

Published in: J. Graph Theory (1981)

Keyphrases

first order logic
higher order
action theories
graph matching
horn clauses
logical theories
stochastic dominance
complex structures
graph theoretic
strongly connected
graph theory
graph partitioning
knowledge base
graph clustering
graph representation
logical formulas
series parallel
graph model
pattern recognition