Polytypic Unification.

Patrik Jansson Johan Jeuring

Published in: J. Funct. Program. (1998)

Keyphrases

higher order
theorem proving
theorem prover
knuth bendix
video sequences
pairwise
relational databases
object oriented
orders of magnitude
intelligent agents
first order logic