Pages that link to "Item:Q352956"
From MaRDI portal
The following pages link to Multi-completion with termination tools (Q352956):
Displaying 5 items.
- Completion for multiple reduction orderings (Q1808564) (← links)
- Normalized completion revisited (Q2958393) (← links)
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
- Fine-grained concurrent completion (Q5055848) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)