Pages that link to "Item:Q5055776"
From MaRDI portal
The following pages link to Simulating Buchberger's algorithm by Knuth-Bendix completion (Q5055776):
Displaying 6 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- KBCV – Knuth-Bendix Completion Visualizer (Q2908523) (← links)
- Buchberger's algorithm: A constraint-based completion procedure (Q5096314) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q5204333) (← links)