Pages that link to "Item:Q5505586"
From MaRDI portal
The following pages link to Improving Context-Sensitive Dependency Pairs (Q5505586):
Displaying 8 items.
- Lazy productivity via termination (Q549188) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications (Q968529) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- From Outermost to Context-Sensitive Rewriting (Q3636831) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
