The following pages link to (Q3721811):
Displaying 14 items.
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Thue systems as rewriting systems (Q1099642) (← links)
- Stability of Gröbner bases (Q1115488) (← links)
- Fuzzy term-rewriting system (Q1182011) (← links)
- On the Knuth-Bendix completion for concurrent processes (Q1262753) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- The problem of guaranteeing the existence of a complete set of reductions (Q1823015) (← 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)
- Generalized hilbert numerators (Q4238614) (← links)
- Generalized Gröbner bases: Theory and applications. A condensation (Q5055723) (← links)
- Monomial bases for the primitive complex Shephard groups of rank three (Q5072779) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- A categorical formulation for critical-pair/completion procedures (Q5881196) (← links)