Berdinsky, Dmitry; Elder, Murray; Kruengthomya, Prohrak Cayley polynomial-time computable groups. (English) Zbl 07601279 Inf. Comput. 288, Article ID 104768, 15 p. (2022). MSC: 20F10 PDFBibTeX XMLCite \textit{D. Berdinsky} et al., Inf. Comput. 288, Article ID 104768, 15 p. (2022; Zbl 07601279) Full Text: DOI arXiv
Brough, Tara; Cain, Alan J. A language hierarchy of binary relations. (English) Zbl 1496.68173 Inf. Comput. 275, Article ID 104607, 14 p. (2020). MSC: 68Q45 20M05 20M35 68Q42 PDFBibTeX XMLCite \textit{T. Brough} and \textit{A. J. Cain}, Inf. Comput. 275, Article ID 104607, 14 p. (2020; Zbl 1496.68173) Full Text: DOI arXiv
Cain, Alan J.; Gray, Robert D.; Malheiro, António On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids. (English) Zbl 1371.68135 Inf. Comput. 255, Part 1, 68-93 (2017). MSC: 68Q42 20M35 PDFBibTeX XMLCite \textit{A. J. Cain} et al., Inf. Comput. 255, Part 1, 68--93 (2017; Zbl 1371.68135) Full Text: DOI arXiv Link
Halava, V.; Harju, T.; Niskanen, R.; Potapov, I. Weighted automata on infinite words in the context of attacker-defender games. (English) Zbl 1371.68150 Inf. Comput. 255, Part 1, 27-44 (2017). MSC: 68Q45 91A46 PDFBibTeX XMLCite \textit{V. Halava} et al., Inf. Comput. 255, Part 1, 27--44 (2017; Zbl 1371.68150) Full Text: DOI
Cain, Alan J.; Oliver, Graham; Ruškuc, Nik; Thomas, Richard M. Automatic presentations for semigroups. (English) Zbl 1192.20040 Inf. Comput. 207, No. 11, 1156-1168 (2009). Reviewer: Ahmet Sinan Çevik (Konya) MSC: 20M05 20M35 68Q45 PDFBibTeX XMLCite \textit{A. J. Cain} et al., Inf. Comput. 207, No. 11, 1156--1168 (2009; Zbl 1192.20040) Full Text: DOI Link
Badouel, E.; Darondeau, Ph. The synthesis of Petri nets from path-automatic specifications. (English) Zbl 1101.68691 Inf. Comput. 193, No. 2, 117-135 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Badouel} and \textit{Ph. Darondeau}, Inf. Comput. 193, No. 2, 117--135 (2004; Zbl 1101.68691) Full Text: DOI