Pages that link to "Item:Q5692154"
From MaRDI portal
The following pages link to Transformation techniques for context-sensitive rewrite systems (Q5692154):
Displaying 26 items.
- Lazy productivity via termination (Q549188) (← links)
- Relaxing monotonicity for innermost termination (Q835006) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)
- Improving the context-sensitive dependency graph (Q2867962) (← links)
- Proving termination of context-sensitive rewriting with MU-TERM (Q2867963) (← links)
- Termination of lazy rewriting revisited (Q2873676) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Transforming Outermost into Context-Sensitive Rewriting (Q3575304) (← links)
- From Outermost Termination to Innermost Termination (Q3599101) (← links)
- Loops under Strategies (Q3636816) (← links)
- Confluence of prefix-constrained rewrite systems (Q4993332) (← links)
- A Transformational Approach to Prove Outermost Termination Automatically (Q5170158) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Context rewriting (Q5881173) (← links)
