Pages that link to "Item:Q3558285"

The following pages link to Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (Q3558285):

Displaying 3 items.

• Termination of narrowing via termination of rewriting (Q969619) (← links)
• Relative termination via dependency pairs (Q2360875) (← links)
• Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)