The following pages link to Arctic Termination ...Below Zero (Q3522019):
Displaying 10 items.
- KBO orientability (Q846165) (← links)
- Increasing interpretations (Q1044231) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems (Q3014928) (← 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)
- Increasing Interpretations (Q5505499) (← links)
- The Derivational Complexity Induced by the Dependency Pair Method (Q5902127) (← links)
