Richard M. Thomas

According to our database, Richard M. Thomas authored at least 24 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Word problems of groups: Formal languages, characterizations and decidability.

Sam A. M. Jones, Richard M. Thomas

Theor. Comput. Sci., 2018

2016

Characterizing Word Problems of Groups.

Sam A. M. Jones, Richard M. Thomas

Proceedings of the Reachability Problems - 10th International Workshop, 2016

2015

Groups Whose Word Problem is a Petri Net Language.

Gabriela Asli Rino Nesin, Richard M. Thomas

Proceedings of the Descriptional Complexity of Formal Systems, 2015

2013

On the automaticity of singular Artin monoids of finite type.

Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas

Int. J. Comput. Math., 2013

Formal Languages, Word Problems of Groups and Decidability.

Sam A. M. Jones, Richard M. Thomas

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Groups with a Recursively Enumerable Irreducible Word Problem.

Gabriela Asli Rino Nesin, Richard M. Thomas

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

2012

Unary FA-Presentable Semigroups.

Alan J. Cain, Nikola Ruskuc, Richard M. Thomas

Int. J. Algebra Comput., 2012

Semigroups with a Context-Free Word Problem.

Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Singular Artin Monoids of Finite Coxeter Type Are Automatic.

Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas

Proceedings of the Language and Automata Theory and Applications, 2011

2010

Notions of hyperbolicity in monoids.

Michael Hoffmann, Richard M. Thomas

Theor. Comput. Sci., 2010

Automatic Presentations and Semigroup Constructions.

Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas

Theory Comput. Syst., 2010

2009

Automatic presentations for semigroups.

Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas

Inf. Comput., 2009

Space Complexity and Word Problems of Groups.

Stephen R. Lakin, Richard M. Thomas

Groups Complex. Cryptol., 2009

2008

Automatic Presentations for Cancellative Semigroups.

Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas

Proceedings of the Language and Automata Theory and Applications, 2008

2006

A geometric characterization of automatic semigroups.

Michael Hoffmann, Richard M. Thomas

Theor. Comput. Sci., 2006

2005

Automatic Presentations for Finitely Generated Groups.

Graham P. Oliver, Richard M. Thomas

Proceedings of the STACS 2005, 2005

Biautomatic Semigroups.

Michael Hoffmann, Richard M. Thomas

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2004

Monoid presentations of groups by finite special string-rewriting systems.

Duncan W. Parkes, V. Yu. Shavrukov, Richard M. Thomas

RAIRO Theor. Informatics Appl., 2004

Context-Sensitive Decision Problems in Groups.

Stephen R. Lakin, Richard M. Thomas

Proceedings of the Developments in Language Theory, 2004

2002

Automatic Semigroups with Subsemigroups of Finite Rees Index.

Michael Hoffmann, Richard M. Thomas, Nikola Ruskuc

Int. J. Algebra Comput., 2002

2001

Automatic semigroups.

Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas

Theor. Comput. Sci., 2001

1996

On Subsemigroups and ideals in Free Products of Semigroups.

Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas

Int. J. Algebra Comput., 1996

1995

Rewriting a Semigroup Presentation.

Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas

Int. J. Algebra Comput., 1995

1993

Group Presentations, Formal Languages and Characterizations of One-Counter Groups.

Thomas Herbst, Richard M. Thomas

Theor. Comput. Sci., 1993