Pages that link to "Item:Q5505586"
From MaRDI portal
The following pages link to Improving Context-Sensitive Dependency Pairs (Q5505586):
Displaying 4 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)
