Strong Normalization Proofs?

Jaco van de Pol

Published in: HOA (1995)

Keyphrases

theorem proving
data sets
information systems
high level
object recognition
medical images
formal proofs
database
computer vision
preprocessing
hidden markov models
probabilistic model
first order logic
normalization method
formal proof