Pages that link to "Item:Q2867962"
From MaRDI portal
The following pages link to Improving the context-sensitive dependency graph (Q2867962):
Displaying 8 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)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems (Q2873675) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)
- Context-Sensitive Dependency Pairs (Q5385994) (← links)