scientific article
From MaRDI portal
Publication:3721811
zbMath0592.68037MaRDI QIDQ3721811
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
A categorical formulation for critical-pair/completion procedures ⋮ Generalized Gröbner bases: Theory and applications. A condensation ⋮ Rewriting with a nondeterministic choice operator ⋮ Buchberger's algorithm: The term rewriter's point of view ⋮ Thue systems as rewriting systems ⋮ Monomial bases for the primitive complex Shephard groups of rank three ⋮ Stability of Gröbner bases ⋮ Fuzzy term-rewriting system ⋮ On the Knuth-Bendix completion for concurrent processes ⋮ The replenishment algorithm in algebras of sets ⋮ The problem of guaranteeing the existence of a complete set of reductions ⋮ Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry ⋮ Generalized hilbert numerators ⋮ Confluence of algebraic rewriting systems
This page was built for publication:
