A First-Order Isomorphism Theorem.

Eric Allender José L. Balcázar Neil Immerman

Published in: SIAM J. Comput. (1997)

Keyphrases

higher order
first order logic
stochastic dominance
von neumann
graph isomorphism
quantifier elimination
data sets
information systems
graph theory
conditional logic
valued logic
inductive logic programming systems
general logic programs
evolutionary algorithm
database systems
computer vision
social networks