The following pages link to (Q2844056):
Displayed 6 items.
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Relative termination via dependency pairs (Q2360875) (← links)
- Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)