2008 |
9 | EE | Alan J. Cain,
Graham P. Oliver,
Nikola Ruskuc,
Richard M. Thomas:
Automatic Presentations for Cancellative Semigroups.
LATA 2008: 149-159 |
2007 |
8 | EE | Michael Hoffmann,
Richard M. Thomas:
Notions of Hyperbolicity in Monoids.
FCT 2007: 341-352 |
2006 |
7 | EE | Michael Hoffmann,
Richard M. Thomas:
A geometric characterization of automatic semigroups.
Theor. Comput. Sci. 369(1-3): 300-313 (2006) |
2005 |
6 | EE | Michael Hoffmann,
Richard M. Thomas:
Biautomatic Semigroups.
FCT 2005: 56-67 |
5 | EE | Graham P. Oliver,
Richard M. Thomas:
Automatic Presentations for Finitely Generated Groups.
STACS 2005: 693-704 |
2004 |
4 | EE | Stephen R. Lakin,
Richard M. Thomas:
Context-Sensitive Decision Problems in Groups.
Developments in Language Theory 2004: 296-307 |
2002 |
3 | EE | Michael Hoffmann,
Richard M. Thomas,
Nikola Ruskuc:
Automatic Semigroups with Subsemigroups of Finite Rees Index.
IJAC 12(3): 463-461 (2002) |
2001 |
2 | EE | Colin M. Campbell,
Edmund F. Robertson,
Nikola Ruskuc,
Richard M. Thomas:
Automatic semigroups.
Theor. Comput. Sci. 250(1-2): 365-391 (2001) |
1993 |
1 | | Thomas Herbst,
Richard M. Thomas:
Group Presentations, Formal Languages and Characterizations of One-Counter Groups.
Theor. Comput. Sci. 112(2): 187-213 (1993) |