Many-sorted unification.

Christoph Walther

Published in: J. ACM (1988)

Keyphrases

theorem prover
theorem proving
equational theories
machine learning
information systems
higher order
knuth bendix
high level
digital libraries
moving objects
search space
knn
response time