Unification over Distributive Exponentiation (Sub)Theories.

Serdar Erbatur Andrew M. Marshall Deepak Kapur Paliath Narendran

Published in: J. Autom. Lang. Comb. (2011)

Keyphrases

equational theories
general theory
theoretical framework
higher order
databases
database
data sets
machine learning
computer vision
web pages
relational databases
artificial neural networks
theorem prover
theorem proving