Pages that link to "Item:Q2844056"
From MaRDI portal
The following pages link to Narrowing-based simulation of term rewriting systems with extra variables and its termination proof (Q2844056):
Displaying 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)