System ST \beta-reduction and completeness.

Christophe Raffalli

Published in: LICS (2003)

Keyphrases

reduction method
database
real world
artificial intelligence
search engine
decision trees
formal proofs
real time
data sets
databases
learning algorithm
pattern recognition
relational databases
query language
data quality
beta distribution