On Equational Theories, Unification and Decidability.

Hans-Jürgen Bürckert Alexander Herold Manfred Schmidt-Schauß

Published in: RTA (1987)

Keyphrases

equational theories
theorem proving
description logics
decision procedures
query answering
type checking
database
general purpose
data exchange