scientific article
From MaRDI portal
Publication:3675515
zbMath0562.68023MaRDI QIDQ3675515
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (15)
Consider only general superpositions in completion procedures ⋮ Buchberger's algorithm: The term rewriter's point of view ⋮ History and basic features of the critical-pair/completion procedure ⋮ Only prime superpositions need be considered in the Knuth-Bendix completion procedure ⋮ Critical pair criteria for completion ⋮ A p-adic approach to the computation of Gröbner bases ⋮ Lifting canonical algorithms from a ring R to the ring R[x] ⋮ Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties ⋮ On the construction of Gröbner bases using syzygies ⋮ On pot, pans and pudding or how to discover generalised critical Pairs ⋮ Completion for rewriting modulo a congruence ⋮ The replenishment algorithm in algebras of sets ⋮ A categorical critical-pair completion algorithm ⋮ Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry ⋮ Elimination of composite superpositions may cause abortion
This page was built for publication:
