Pages that link to "Item:Q1808564"
From MaRDI portal
The following pages link to Completion for multiple reduction orderings (Q1808564):
Displayed 5 items.
- Multi-completion with termination tools (Q352956) (← links)
- Multi-completion with Termination Tools (System Description) (Q3541711) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- Termination Tools in Ordered Completion (Q5747788) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)