Higher-Order Logic and Theorem Proving for Structured Specifications.
Tomasz BorzyszkowskiPublished in: WADT (1999)
Keyphrases
- theorem proving
- higher order logic
- theorem prover
- first order logic
- automated reasoning
- automated theorem proving
- inference rules
- automated deduction
- term rewriting
- higher order
- decision procedures
- parallel search
- automatic programming
- proof planning
- proof procedure
- logical framework
- predicate calculus
- conditional logic
- high level
- logical inference
- training data
- decision trees
- geometry theorem proving