The following pages link to (Q4237373):
Displaying 5 items.
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Simulating Buchberger's algorithm by Knuth-Bendix completion (Q5055776) (← links)
- Towards an efficient construction of test sets for deciding ground reducibility (Q5055821) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q5204333) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)