A First-Order Isomorphism Theorem.

Eric Allender José L. Balcázar Neil Immerman

Published in: STACS (1993)

Keyphrases

first order logic
graph theory
higher order
databases
graph isomorphism
neural network
von neumann
quantifier elimination
stochastic dominance
genetic algorithm
e learning
information retrieval
np complete
machine learning
conditional logic
database
taylor series
interactive theorem proving