Pages that link to "Item:Q4933331"
From MaRDI portal
The following pages link to Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting (Q4933331):
Displaying 7 items.
- Uncurrying for termination and complexity (Q352959) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- A Perron-Frobenius theorem for deciding matrix growth (Q2239274) (← links)
- Analyzing innermost runtime complexity of term rewriting by dependency pairs (Q2351155) (← links)
- Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems (Q3014928) (← links)
- A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (Q5200041) (← links)
