Groebner bases for non-commutative polynomial rings

This publication has 5 references indexed in Scilit:

• Some algorithmic questions on ideals of differential operators
  Lecture Notes in Computer Science, 1985
• Multidimensional Systems Theory
  Published by Springer Nature ,1985
• A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
  ACM SIGSAM Bulletin, 1983
• The diamond lemma for ring theory
  Advances in Mathematics, 1978
• Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I
  Annals of Mathematics, 1964