Login / Signup
Weak normalization implies strong normalization in a class of non-dependent pure type systems.
Gilles Barthe
John Hatcliff
Morten Heine Sørensen
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
normalization method
complex systems
probabilistic model
intelligent systems
expert systems
data structure
neural network
data streams
preprocessing
multiscale
database
multi class
distributed systems
knowledge base
learning systems
computer vision
biometric systems
multi class classification