Sequence Unification Through Currying.

Temur Kutsia Jordi Levy Mateu Villaret

Published in: RTA (2007)

Keyphrases

higher order
theorem proving
real time
three dimensional
image processing
pairwise
special case
input data