University of Leicester

informatics

Graham Oliver's Home Page

Publications

Automatic Presentations of Finitely Generated Groups, G. Oliver and R.M. Thomas, Proceedings of STACS '05, University of Stuttgart, Germany

Finitely Generated Groups with Automatic Presentations, G. Oliver and R.M. Thomas, Technical Report 2004/38, University of Leicester

Conference Talks

Effective Computation in Infinite Groups, Semigroups and Cayley Graphs of Groups, PGGTC, University of Newcastle, March 2005

Automatic Presentations and Classes of Semigroups, BCTCS, University of Nottingham, March 2005

Finitely Generated Groups with Automatic Presentations, G. Oliver and R.M. Thomas, Workshop on Automata, Structures and Logic, December 2005, University of Auckland, New Zealand

Automatic Presentations and Groups, BCTCS, University of Stirling, April 2004

Automatic presentations: a different notion of automaticity, PGGT, University of Warwick, March 2004

Other Talks

Effective Computations in Infinite Structures, BCS Leicester Branch 'Postgraduate Research in Computing', March 2005

Automatic presentations of Groups and Semigroups, Warwick Algebra Seminar, University of Warwick, March 2005

Automatic Presentations of Finitely Generated Groups, Department of Computer Science Internal Seminar, University of Leicester, February 2005

A Different Notion of Automaticity, Department of Computer Science Internal Seminar, University of Leicester, November 2003

Author: Graham Oliver (G.Oliver@mcs.le.ac.uk), T: +44 (0)116 252 3904.
University of Leicester October 2002. Last modified: 1st November 2005, 12:29:39.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.