Nominal unification.

Christian Urban Andrew M. Pitts Murdoch Gabbay

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

Keyphrases

higher order
theorem proving
equational theories
theorem prover
knuth bendix
genetic algorithm
knowledge base
expert systems