Pages that link to "Item:Q1350495"
From MaRDI portal
The following pages link to Buchberger's algorithm: The term rewriter's point of view (Q1350495):
Displaying 5 items.
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- Knuth-Bendix completion for non-symmetric transitive relations (Q2841250) (← links)
- Simulating Buchberger's algorithm by Knuth-Bendix completion (Q5055776) (← links)
- Buchberger's algorithm: A constraint-based completion procedure (Q5096314) (← links)
- Proof transformation for non-compatible rewriting (Q6560375) (← links)