Order-Sorted Unification.

José Meseguer Joseph A. Goguen

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

Keyphrases

order sorted
predicate logic
higher order
equational theories
theorem prover
database
knowledge representation and reasoning
automated theorem proving