Termination Analysis by Dependency Pairs and Inductive Theorem Proving.
Stephan SwiderskiMichael PartingJürgen GieslCarsten FuhsPeter Schneider-KampPublished in: CADE (2009)
Keyphrases
- theorem proving
- termination analysis
- active databases
- active rules
- abstract interpretation
- first order logic
- theorem prover
- inference rules
- parallel search
- term rewriting
- proof planning
- proof procedure
- geometry theorem proving
- consequence finding
- proof search
- distributed systems
- description language
- knowledge representation
- training set
- knowledge base