The following pages link to (Q3745825):
Displaying 26 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- Elimination of composite superpositions may cause abortion (Q808267) (← links)
- An algorithm for the construction of matrix representations for finitely presented non-commutative algebras (Q914800) (← links)
- Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. (Q1012560) (← links)
- New constructive methods in classical ideal theory (Q1090369) (← 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 generalization of reduction rings (Q1109083) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Diagram techniques for confluence (Q1271472) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- Gröbner bases in orders of algebraic number fields. (Q1599544) (← links)
- Detecting unnecessary reductions in an involutive basis computation (Q2456593) (← links)
- Sufficient set of integrability conditions of an orthonomic system (Q2655286) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Unnecessary inferences in associative-commutative completion procedures (Q3489486) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- Consider only general superpositions in completion procedures (Q5055743) (← links)
- Redundancy criteria for constrained completion (Q5055781) (← links)
- Infinite runs in abstract completion (Q5111315) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
- Complete sets of reductions with constraints (Q6488546) (← links)
