The following pages link to Context-sensitive dependency pairs (Q989290):
Displaying 14 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Guessing singular dependencies (Q2437325) (← links)
- Improving the context-sensitive dependency graph (Q2867962) (← links)
- Proving termination of context-sensitive rewriting with MU-TERM (Q2867963) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Dependent pairs (Q3011109) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- Automatic Proofs of Termination With Elementary Interpretations (Q5170190) (← links)
- Context-Sensitive Dependency Pairs (Q5385994) (← links)
- A static higher-order dependency pair framework (Q6070806) (← links)
