Department of Mathematics & Computer Science

Bibliography

1

F.Baader and T.Nipkow : Term Rewriting and All That, Cambridge University Press (1998).

2

R.Book and F.Otto : String-Rewriting Systems, Springer-Verlag, New York, (1993).

3

B.Buchberger : Basic Features and Development of the Critical Pair Completion Procedure, in Rewriting Techniques and Applications, J.Jouannaud (ed), Springer-Verlag, LCNS vol.202 p1-45 (1986).

4

B.Buchberger : History and Basic Features of the Critical Pair / Completion Procedure, J.Symbolic Computation, vol.3, p3-38 (1987).

5

B.Buchberger and R.Loos : Algebraic Simplification, Computing Supplement, vol.4 p11-43 (1982).

6

A.Heyworth : Applications of Rewriting Systems and Gröbner Bases to Computing Kan Extensions and Identities Among Relations, PhD Thesis, University of Wales, Bangor (1998)

7

R.Loos : Term Reduction Systems and Algebraic Algorithms, in Proc 5th German Workshop on Artificial Intelligence, J.Siekmann (ed), Springer-Verlag, Informatik Fachberichte, vol.47 p214-234 (1981).

8

T.Mora : Gröbner Bases and the Word Problem, Preprint, University of Genova (1987).

9

T.Mora : An Introduction to Commutative and Noncommutative Gröbner Bases, Theoretical Computer Science vol.134 p131-173(1994).

10

B.Reinert : On Gröbner Bases in Monoid and Group Rings PhD Thesis, Universität Kaiserslautern (1995).

11

K.Stokkermans : A Categorical Framework and Calculus for Critical Pair Completion, Phd Thesis, Royal Institute for Symbolic Computation, Johannes Kepler University, Linz (1995).

12

V.Ufnarovski : Introduction to Noncommutative Gröbner Bases Theory, in Gröbner Bases and Applications, B.Buchberger and F.Winkler (eds), Proc. London Math. Soc. vol.251 p305-322 (1998).

Acknowledgements
This research work was supported by an Earmarked EPSRC Research Studentship 1995-98 `Identities among Relations for Monoids and Categories'. I would like to thank Larry Lambe for pointing out this likely connection and Ronnie Brown for discussion on the presentation of this paper.

Author: A. Heyworth, tel: +44 (0)116 252 3884
Last updated: 2001-05-08
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.