Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.

Jasmin Christian Blanchette

Published in: TAP@TOOLS (2010)

Keyphrases

recursive functions
inductive inference
data types
decision trees
database systems
data model
database
information retrieval
learning algorithm
data structure
user defined
relational data