| Department of Mathematics & Computer Science |
|
Next: About this document ...
Up: paper3
Previous: Remarks
- 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.