Solving Disequations in Equational Theories.

Hans-Jürgen Bürckert

Published in: CADE (1988)

Keyphrases

equational theories
database
databases
artificial intelligence
knowledge base
knowledge representation
theorem proving