The following pages link to mkbTT (Q21993):
Displayed 7 items.
- Multi-completion with termination tools (Q352956) (← links)
- (Q2958390) (← links)
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
- Multi-completion with Termination Tools (System Description) (Q3541711) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- (Q5389156) (← links)