scientific article; zbMATH DE number 1487705
From MaRDI portal
Publication:4494214
zbMath0962.16021MaRDI QIDQ4494214
Publication date: 11 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gröbner basesleading termsfree associative algebrasdiamond lemmahomogeneous elementsfree generating setsalgorithmically solvable membership problem
Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Applications of logic in associative algebras (16B70)
This page was built for publication: