Pages that link to "Item:Q352956"

The following pages link to Multi-completion with termination tools (Q352956):

Displaying 2 items.

• Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
• Towards automated deduction in cP systems (Q6154793) (← links)