Pages that link to "Item:Q3525002"
From MaRDI portal
The following pages link to Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs (Q3525002):
Displaying 6 items.
- Context-sensitive dependency pairs (Q989290) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures (Q3557094) (← links)