Proof-Theoretic Analysis of Termination Proofs.
Wilfried BuchholzPublished in: Ann. Pure Appl. Log. (1995)
Keyphrases
- theoretic analysis
- theorem prover
- term rewriting
- theorem proving
- mathematical proofs
- interactive theorem proving
- automated theorem provers
- natural deduction
- formal proof
- proof search
- automated theorem proving
- rewrite systems
- decision procedures
- cut elimination
- inference rules
- first order logic
- sequent calculus
- mathematical knowledge
- linear logic
- computer algebra
- neural network
- geometry theorem proving
- proof procedure
- data sets
- proof planning
- decision trees
- genetic algorithm
- active rules
- computer programs
- cognitive processes
- video sequences
- data structure
- image sequences
- website
- presburger arithmetic