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