Richard M. Thomas

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 2

Top Topics

Recursively Enumerable

Formal Languages

Top Venues

Developments in Language Theory

Int. J. Comput. Math.

Int. J. Algebra Comput.

Publications

Sam A. M. Jones, Richard M. Thomas
Word problems of groups: Formal languages, characterizations and decidability. Theor. Comput. Sci. 750 (2018)
Sam A. M. Jones, Richard M. Thomas
Characterizing Word Problems of Groups. RP (2016)
Gabriela Asli Rino Nesin, Richard M. Thomas
Groups Whose Word Problem is a Petri Net Language. DCFS (2015)
Gabriela Asli Rino Nesin, Richard M. Thomas
Groups with a Recursively Enumerable Irreducible Word Problem. FCT (2013)
Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas
On the automaticity of singular Artin monoids of finite type. Int. J. Comput. Math. 90 (6) (2013)
Sam A. M. Jones, Richard M. Thomas
Formal Languages, Word Problems of Groups and Decidability. RP (2013)
Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas
Semigroups with a Context-Free Word Problem. Developments in Language Theory (2012)
Alan J. Cain, Nikola Ruskuc, Richard M. Thomas
Unary FA-Presentable Semigroups. Int. J. Algebra Comput. 22 (4) (2012)
Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas
Singular Artin Monoids of Finite Coxeter Type Are Automatic. LATA (2011)
Michael Hoffmann, Richard M. Thomas
Notions of hyperbolicity in monoids. Theor. Comput. Sci. 411 (4-5) (2010)
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
Automatic Presentations and Semigroup Constructions. Theory Comput. Syst. 47 (2) (2010)
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
Automatic presentations for semigroups. Inf. Comput. 207 (11) (2009)
Stephen R. Lakin, Richard M. Thomas
Space Complexity and Word Problems of Groups. Groups Complex. Cryptol. 1 (2) (2009)
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
Automatic Presentations for Cancellative Semigroups. LATA (2008)
Michael Hoffmann, Richard M. Thomas
Notions of Hyperbolicity in Monoids. FCT (2007)
Michael Hoffmann, Richard M. Thomas
A geometric characterization of automatic semigroups. Theor. Comput. Sci. 369 (1-3) (2006)
Graham P. Oliver, Richard M. Thomas
Automatic Presentations for Finitely Generated Groups. STACS (2005)
Michael Hoffmann, Richard M. Thomas
Biautomatic Semigroups. FCT (2005)
Duncan W. Parkes, V. Yu. Shavrukov, Richard M. Thomas
Monoid presentations of groups by finite special string-rewriting systems. RAIRO Theor. Informatics Appl. 38 (3) (2004)
Stephen R. Lakin, Richard M. Thomas
Context-Sensitive Decision Problems in Groups. Developments in Language Theory (2004)
Michael Hoffmann, Richard M. Thomas, Nikola Ruskuc
Automatic Semigroups with Subsemigroups of Finite Rees Index. Int. J. Algebra Comput. 12 (3) (2002)
Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas
Automatic semigroups. Theor. Comput. Sci. 250 (1-2) (2001)
Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas
On Subsemigroups and ideals in Free Products of Semigroups. Int. J. Algebra Comput. 6 (5) (1996)
Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas
Rewriting a Semigroup Presentation. Int. J. Algebra Comput. 5 (1) (1995)
Thomas Herbst, Richard M. Thomas
Group Presentations, Formal Languages and Characterizations of One-Counter Groups. Theor. Comput. Sci. 112 (2) (1993)