Pages that link to "Item:Q5385994"
From MaRDI portal
The following pages link to Context-Sensitive Dependency Pairs (Q5385994):
Displaying 13 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Guessing singular dependencies (Q2437325) (← 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)
- Dependent pairs (Q3011109) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Automatic Proofs of Termination With Elementary Interpretations (Q5170190) (← links)
- A static higher-order dependency pair framework (Q6070806) (← links)