The following pages link to (Q3675515):
Displaying 13 items.
- Elimination of composite superpositions may cause abortion (Q808267) (← links)
- On the construction of Gröbner bases using syzygies (Q909718) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure (Q1106657) (← links)
- Critical pair criteria for completion (Q1106659) (← links)
- A p-adic approach to the computation of Gröbner bases (Q1118653) (← links)
- Lifting canonical algorithms from a ring R to the ring R[x] (Q1121016) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- The replenishment algorithm in algebras of sets (Q2058702) (← links)
- Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry (Q2103834) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)