Pages that link to "Item:Q5055743"
From MaRDI portal
The following pages link to Consider only general superpositions in completion procedures (Q5055743):
Displaying 5 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- Elimination of composite superpositions may cause abortion (Q808267) (← links)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure (Q1106657) (← links)
- A case study of completion modulo distributivity and Abelian groups (Q5055783) (← links)
- Complete sets of reductions with constraints (Q6488546) (← links)