Unification for completely commutative theories.

Published in: SAC (1992)

Keyphrases

equational theories
higher order
theoretical framework
computational models
database systems
theorem proving
multiscale
information technology
special case
databases
machine learning
domain theory
cognitive psychology
causal reasoning
design theory
legal knowledge
data mining