A coinductive completeness proof for the equivalence of recursive types.

Published in: Theor. Comput. Sci. (2002)

Keyphrases

datalog programs
neural network
machine learning
data sets
information retrieval
website
case study
similarity measure
data structure
expert systems