Login / Signup
A short and flexible proof of Strong Normalization for the Calculus of Constructions.
Herman Geuvers
Published in:
TYPES (1994)
Keyphrases
</>
automated theorem proving
natural deduction
proof procedure
preprocessing
provably correct
proof search
theorem proving
normalization method
sequent calculus
machine learning
computer vision
information systems
decision making
inference rules
automated deduction