Equational Completion in Order-Sorted Algebras.

Isabelle Gnaedig Claude Kirchner Hélène Kirchner

Published in: Theor. Comput. Sci. (1990)

Keyphrases

order sorted
predicate logic
theorem proving
theorem prover
equational theories
artificial intelligence
temporal reasoning
distributive lattices
database
spatial reasoning
topological spaces
knuth bendix