Bibliography

ApLa88

J. Apel and W. Lassner. An Extension of Buchberger's Algorithm and Calculations in Enveloping Fields of Lie Algebras. Journal of Symbolic Computation(1988) 6. pp 361-370.

BaCaMi81

G. Baumslag, F. Cannonito and C. Miller, III. Computable Algebra and Group Embeddings. Journal of Algebra 69(1981). pp 186-212.

BeWe92

T. Becker and V. Weispfenning. Gröbner Bases - A Computational Approach to Commutative Algebra. Springer Verlag(1992).

Bu65

B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Dissertation. Universität Innsbruck. 1965.

BoOt93

R. Book and F. Otto. String-Rewriting Systems. Springer Verlag(1993).

Cr95

R. Cremanns. Finiteness Conditions for Rewriting Systems. PhD Thesis. Kassel. 1995.

CrOt94

R. Cremanns and F. Otto. Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time. Proc. ISSAC'94.

KaMe79

M.I. Kargapolov and Ju.I. Merzljakov. Fundamentals of the Theory of Groups. Springer Verlag(1979).

KaWe90

A. Kandri-Rody and V. Weispfenning. Non-Commutative Gröbner Bases in Algebras of Solvable Type. Journal of Symbolic Computation 9(1990). pp 1-26.

Kr93

H. Kredel. Solvable Polynomial Rings. Verlag Shaker, Aachen. 1993.

La85

W. Lassner. Symbol Representations of Noncommutative Algebras. EUROCAL'85. Springer LNCS 204, pp. 99-115.

MaOt89

K. Madlener and F. Otto. About the Descriptive Power of Certain Classes of Finite String-Rewriting Systems. Theoretical Computer Science 67(1989). pp 143-172.

MaRe93a

K. Madlener and B. Reinert. On Gröbner Bases in Monoid and Group Rings. SEKI Report SR-93-08. Universität Kaiserslautern.

MaRe93b

K. Madlener and B. Reinert. Computing Gröbner Bases in Monoid and Group Rings. Proc. ISSAC'93. pp 254-263.

MaRe96

K. Madlener and B. Reinert. A Generalization of Gröbner Bases Algorithms to Nilpotent Group Rings. to appear in AAECC.

Mo85

F. Mora. Gröbner Bases for Non-Commutative Polynomial Rings. Proc. AAECC-3(1985). Springer LNCS 229. pp 353-362

Mo94

T. Mora. An Introduction to Commutative and Non-Commutative Gröbner Bases. Theoretical Computer Science 134(1994). pp 131-173.

Re95

B. Reinert. Gröbner Bases in Monoid and Group Rings PhD Thesis. Universität Kaiserslautern. 1995

Ro93

A. Rosenmann. An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras. Journal of Symbolic Computation 16(1993). pp 523-549.

Si94

C. Sims. Computation with finitely presented groups. Cambridge University Press 1994.

We87

V. Weispfenning. Gröbner Basis for Polynomial Ideals over Commutative Regular Rings. Proc. EUROCAL'87. Springer LNCS 378. pp 336-347.

We92

V. Weispfenning. Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings. Proc. ISSAC'92. pp 329-334.

Wi89

D. Wißmann. Anwendung von Rewriting-Techniken in polyzyklischen Gruppen. Dissertation. Universität Kaiserslautern. 1989.