Pages that link to "Item:Q2740985"
From MaRDI portal
The following pages link to Algorithms with polynomial interpretation termination proof (Q2740985):
Displaying 24 items.
- A combination framework for complexity (Q276251) (← links)
- Higher-order interpretations and program complexity (Q276254) (← links)
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- Characterizing polynomial time complexity of stream programs using interpretations (Q2346991) (← links)
- Analyzing innermost runtime complexity of term rewriting by dependency pairs (Q2351155) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- Intensional properties of polygraphs (Q2870314) (← links)
- On quasi-interpretations, blind abstractions and implicit complexity (Q2909730) (← links)
- (Q2980968) (← links)
- A Short Introduction to Implicit Computational Complexity (Q3166988) (← links)
- Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (Q3522024) (← links)
- Automated Implicit Computational Complexity Analysis (System Description) (Q3541694) (← links)
- Automated Complexity Analysis Based on the Dependency Pair Method (Q3541717) (← links)
- (Q5013812) (← links)
- (Q5014441) (← links)
- A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems (Q5200041) (← links)
- Complexity Analysis by Rewriting (Q5458433) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)
- On basic feasible functionals and the interpretation method (Q6629518) (← links)
