Pages that link to "Item:Q2841250"
From MaRDI portal
The following pages link to Knuth-Bendix completion for non-symmetric transitive relations (Q2841250):
Displaying 6 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Chain properties of rule closures (Q916402) (← links)
- Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings (Q1810859) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- KBCV – Knuth-Bendix Completion Visualizer (Q2908523) (← links)
- Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion (Q2958390) (← links)