Polymorphic Recursion and Semi-Unification.

Published in: CSL (1989)

Keyphrases

higher order
theorem proving
complex objects
deductive databases
equational theories
databases
video sequences
theorem prover
datalog programs
artificial intelligence
multi agent
data analysis
hidden markov models
management system
knuth bendix