Login / Signup
Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms.
Richard Statman
Henk Barendregt
Published in:
J. Funct. Program. (1999)
Keyphrases
</>
databases
real world
information retrieval
learning algorithm
computer vision
image processing
case study
data structure
computational complexity
quality measures