Pages that link to "Item:Q4933277"
From MaRDI portal
The following pages link to A Dependency Pair Framework for A ∨ C-Termination (Q4933277):
Displayed 7 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- AC-KBO revisited (Q4593023) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)