Unification modulo a partial theory of exponentiation

Deepak Kapur Andrew M. Marshall Paliath Narendran

Published in: UNIF (2010)

Keyphrases

equational theories
databases
computer vision
theoretical basis
neural network
genetic algorithm
three dimensional
multi agent systems
higher order
theoretical framework
information theory
conceptual framework
general theory