Pages that link to "Item:Q5389155"
From MaRDI portal
The following pages link to POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS (Q5389155):
Displaying 6 items.
- Uncurrying for termination and complexity (Q352959) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Analyzing innermost runtime complexity of term rewriting by dependency pairs (Q2351155) (← links)
- (Q2980968) (← 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)