Login / Signup
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