Pages that link to "Item:Q5895523"
From MaRDI portal
The following pages link to The Derivational Complexity Induced by the Dependency Pair Method (Q5895523):
Displaying 8 items.
- Higher-order interpretations and program complexity (Q276254) (← links)
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Lower bounds for runtime complexity of term rewriting (Q2398176) (← links)
- (Q2980968) (← links)
- Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems (Q3014928) (← links)
- The Derivational Complexity Induced by the Dependency Pair Method (Q5902127) (← links)
