The following pages link to (Q4264735):
Displaying 9 items.
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← 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)
- Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
- (Q5089006) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)
