-Order Type Theory Through Unification.

D. C. Jensen Tomasz Pietrzykowski

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

Keyphrases

theoretical basis
database systems
theoretical framework
data sets
databases
machine learning
information retrieval
feature selection
case study
preprocessing
hidden markov models