Pages that link to "Item:Q5385994"
From MaRDI portal
The following pages link to Context-Sensitive Dependency Pairs (Q5385994):
Displaying 8 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting (Q2808236) (← links)
- Improving the Context-sensitive Dependency Graph (Q2867962) (← links)
- Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963) (← links)
- Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems (Q2873675) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Automatic Proofs of Termination With Elementary Interpretations (Q5170190) (← links)
