Equational Unification, Word Unification, and 2nd-Order Equational Unification.

Friedrich Otto Paliath Narendran Daniel J. Dougherty

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

Keyphrases

equational theories
theorem proving
theorem prover
higher order
automated theorem proving
genetic algorithm
co occurrence
first order logic
inference rules
databases
search algorithm
text mining
text categorization
knuth bendix