Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF.

Fairouz Kamareddine Qiao Haiyan

Published in: J. Autom. Reason. (2003)

Keyphrases

preprocessing
machine learning
databases
theorem prover
formal proofs
theorem proving
high level
case study
computer vision
database systems
feature extraction
multi agent systems
sufficient conditions
temporal logic
website
decision procedures
normalization method
genetic algorithm