Department of Mathematics & Computer Science

Bibliography

1

R. Brown and A. Heyworth: ``Using Rewrite Systems to Compute Kan Extensions and Induced Actions of Categories'', Journal of Symbolic Computation 29 p5-31 (2000).

2

M. R. Bush, M. Leeming and R. F. C. Walters : ``Computing Left Kan Extensions'', Journal of Symbolic Computation, 11 p11-20 (1997).

3

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

4

S. Carmody and R. F. C. Walters : ``The Todd-Coxeter Procedure and Left Kan Extensions'', Research Reports of the School of Mathematics and Statistics, The University of Sydney p90-19, (1990). with M.Leeming : Journal of Symbolic Computation, 19 p459-488 (1995).

5

S. Carmody and R. F. C. Walters : ``Computing Quotients of Actions on a Free Category'', in A. Carboni, M. C. Pedicchio, G. Rosolini (eds), Category Theory, Proceedings of the Int. Conf. Como, Italy 22-28 July 1990, Springer-Verlag, (1991).

6

D. B. A. Epstein, J. W. Cannon et al: ``Word Processing in Groups'',
Boston : Jones and Bartlett Publishers, (1992).

7

M. Fleming, R. Gunther and R. Rosebrugh : ``User Guide for the Categories Database and Manual'', anonymous ftp://sun1.mta.ca/pub/papers/rosebrugh/catdsalg.dvi,tex and /catuser.dvi,tex (1996).

8

A. Heyworth: ``Applications of Rewriting Systems and Gröbner Bases to Computing Kan Extensions and Identities Among Relations'', PhD thesis, UWB Math Preprint 98.23, (1998).
http://xxx.soton.ac.uk/abs/math.CT/9812097

9

D. F. Holt : ``Knuth-Bendix in Monoids, and Automatic Groups'', Mathematics Institute, University of Warwick (1996).

10

D. F. Holt and D. F. Hurt : ``Computing Automatic Coset Systems and Subgroup Presentations'', Journal of Symbolic Computation (1996).

11

J. Hopcroft and J. Ullman: ``Introduction to Automata Theory, Languages and Computation'', Addison-Wesley, Reading, MA, (1979).

12

S. MacLane : ``Categories for the Working Mathematician'', Springer-Verlag (1971).

13

B. Mitchell : ``Rings with many objects'', Academic Press vol.8 no.1 (1972).

14

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

15

I. D. Redfern : ``Automatic Coset Systems'', PhD thesis, University of Warwick, (1993).

16

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

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