A Unifying Approach to Recursive and Co-recursive Definitions.

Pietro Di Gianantonio Marino Miculan

Published in: TYPES (2002)

Keyphrases

recursive functions
database
databases
machine learning
pairwise
iterative refinement
image processing
similarity measure
search space
data model