Ano
Titulo
Publicação
On monoids presented by rewriting systems and automatic structures for their submonoids
Cain, Alan J.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Automatic presentations for semigroups
Cain, Alan J. ; Oliver, Graham P.; Ruškuc, Nik; Thomas, Richard M.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Automatic structures and Malcev presentations for subsemigroups of Baumslag–Solitar semigroups
Cain, Alan J.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Automaton semigroups
Cain, Alan J.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Decision problems for finitely presented and one-relation semigroups and monoids
Cain, Alan J. ; Maltcev, Victor
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Automatic presentations and semigroup constructions
Cain, Alan J. ; Oliver, Graham P.; Ruškuc, Nik; Thomas, Richard M.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Automatic semigroups and Bruck–Reilly extensions
Cain, Alan J.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Green Index in Semigroups: Generators, Presentations and Automatic Structures
Gray, Robert ; Cain, Alan J. ; Ruskuc, N.
Submetido
(Artigo em Revista Científica Internacional com arbitragem)
Malcev presentations for subsemigroups of direct products of coherent groups
Cain, Alan J.
A publicar em Journal of Pure and Applied Algebra
(Artigo em Revista Científica Internacional com arbitragem)
2008
Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions
Cain, Alan J.
Journal of the Australian Mathematical Society, 84 (2008), 39-61
(Artigo em Revista Científica Internacional com arbitragem)
2008
Automatic presentations for cancellative semigroups
Cain, Alan J. ; Oliver, Graham P.; Ruškuc, Nik; Thomas, Richard M.
Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13–19, 2008, (2008), 149-159
(Comunicação em Actas de Conferência com arbitragem)
2006
Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness
Cain, Alan J. ; Robertson, Edmund F.; Ruškuc, Nik
Mathematical Proceedings of the Cambridge Philosophical Society, 141 (2006), 57-66
(Artigo em Revista Científica Internacional com arbitragem)
2006
Malcev presentations for subsemigroups of groups — a survey
Cain, Alan J.
Groups St Andrews 2005, 1 (2006), 256-268
(Comunicação em Actas de Conferência com arbitragem)
2006
Subsemigroups of groups: presentations, Malcev presentations, and automatic structures
Cain, Alan J. ; Roberston, Edmund F.; Ruškuc, Nik
Journal of Group Theory, 9 (2006), 397-426
(Artigo em Revista Científica Internacional com arbitragem)
2006
A group-embeddable non-automatic semigroup whose universal group is automatic
Cain, Alan J.
Glasgow Mathematical Journal, 48 (2006), 337-342
(Artigo em Revista Científica Internacional com arbitragem)
2006
Cancellativity is undecidable for automatic semigroups
Cain, Alan J.
Quarterly Journal of Mathematics, 57 (2006), 285-295
(Artigo em Revista Científica Internacional com arbitragem)
2005
Presentations for Subsemigroups of Groups
Cain, Alan J.
University of St Andrews, 2005
(Tese)