University of Leicester

cms

RESEARCH STUDENT — Graham Oliver

Postgraduate Student in Computer Science
G1 Ken Edwards Building
School of Computing and Mathematical Sciences,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3904
F: +44 (0)116 252 3915
E: G.Oliver@mcs.le.ac.uk

Research

Automata, structures and logic: A structure presented by finite automata is said to have an automatic presentation. In particular, these structures have decidable first order theory. I have been looking at groups and semigroups - classifying when they have such a presentation, and investigating consequent properties.
Publications and Talks

See also:

Supervisor

Prof Rick Thomas

Links

Warwick Algebra Seminars

Societies

Conferences

General

Other Links

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:30:57
CMS Web Maintainer. Any opinions expressed on this page are those of the author.