Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit.

Manfred Schmidt-Schauß

Published in: J. Symb. Comput. (1996)

Keyphrases

equational theories
higher order
theoretical framework
general theory
query answering
database
description logics
database systems
image processing
theoretical foundation
theoretical basis
neural network
bayesian networks
information retrieval
information theory
decision procedures
formal theory
databases