The following pages link to Certified Size-Change Termination (Q3608789):
Displayed 8 items.
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Partial and nested recursive function definitions in higher-order logic (Q972425) (← links)
- Termination of Isabelle Functions via Termination of Rewriting (Q3088004) (← links)
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates (Q3094178) (← links)
- All-Termination(T) (Q3617771) (← links)
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving (Q5191111) (← links)
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations (Q5448658) (← links)
- A SAT-Based Approach to Size Change Termination with Global Ranking Functions (Q5458329) (← links)