Klimann, Ines Automaton semigroups: the two-state case. (English) Zbl 1345.20074 Theory Comput. Syst. 58, No. 4, 664-680 (2016). Reviewer: Jaak Henno (Tallinn) MSC: 20M35 68Q45 20M05 03B25 03D05 PDFBibTeX XMLCite \textit{I. Klimann}, Theory Comput. Syst. 58, No. 4, 664--680 (2016; Zbl 1345.20074) Full Text: DOI
Hartung, René Algorithms for finitely \(L\)-presented groups and their applications to some self-similar groups. (English) Zbl 1294.20042 Expo. Math. 31, No. 4, 368-384 (2013). Reviewer: Bui Xuan Hai (Ho Chi Minh City) MSC: 20F05 20E07 20E08 20F14 20F10 PDFBibTeX XMLCite \textit{R. Hartung}, Expo. Math. 31, No. 4, 368--384 (2013; Zbl 1294.20042) Full Text: DOI
Hartung, René Computation with finitely \(L\)-presented groups. (English) Zbl 1298.20044 Göttingen: Univ. Göttingen (Diss.). 186 p. (2012). MSC: 20F05 20-04 20E07 68W30 20F14 20F10 PDFBibTeX XMLCite \textit{R. Hartung}, Computation with finitely \(L\)-presented groups. Göttingen: Univ. Göttingen (Diss.) (2012; Zbl 1298.20044) Full Text: Link
Bartholdi, Laurent; Eick, Bettina; Hartung, René A nilpotent quotient algorithm for certain infinitely presented groups and its applications. (English) Zbl 1173.20023 Int. J. Algebra Comput. 18, No. 8, 1321-1344 (2008). Reviewer: Bui Xuan Hai (Ho Chi Minh City) MSC: 20F05 20F18 20-04 68W30 PDFBibTeX XMLCite \textit{L. Bartholdi} et al., Int. J. Algebra Comput. 18, No. 8, 1321--1344 (2008; Zbl 1173.20023) Full Text: DOI arXiv