-Unification Procedure.

Jean H. Gallier Wayne Snyder

Published in: RTA (1987)

Keyphrases

higher order
knuth bendix
data sets
databases
theorem prover
search procedure
equational theories
hidden markov models
medical images
iterative procedure