Pages that link to "Item:Q5448658"
From MaRDI portal
The following pages link to Certification of Proving Termination of Term Rewriting by Matrix Interpretations (Q5448658):
Displayed 6 items.
- Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates (Q3094178) (← links)
- Arctic Termination ...Below Zero (Q3522019) (← links)
- Automatic Termination (Q3636815) (← links)
- Local Termination (Q3636830) (← links)
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations (Q5448658) (← links)