The First-Order Isomorphism Theorem.

Manindra Agrawal

Published in: FSTTCS (2001)

Keyphrases

first order logic
higher order
neural network
graph theory
digital topology
information retrieval
learning algorithm
artificial intelligence
decision trees
database systems
expert systems
term rewriting
graph isomorphism