Sign in
Modular Proof of Strong Normalization for the Calculus of Constructions.
Herman Geuvers
Mark-Jan Nederhof
Published in:
J. Funct. Program. (1991)
Keyphrases
</>
automated theorem proving
natural deduction
proof search
provably correct
sequent calculus
theorem prover
theorem proving
linear logic
proof procedure
modular structure
website
high level
inference rules
propositional logic
real time
case study
decision trees
machine learning
neural network