Login / Signup
Strong Normalization with Singleton Types.
Judicaël Courant
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
case study
preprocessing
neural network
web services
database
learning algorithm
website
decision trees
pattern recognition
computer science
evolutionary algorithm
multiresolution
data model