Richard M. Thomas

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