arXiv:math/9901044 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords noncommutative groebner basis theory, special case, noncommutative buchberger algorithm corresponds step-by-step, knuth-bendix completion procedure Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset