Onoprienko, A. A. Cardinality reduction theorem for logics QHC and QH4. (English. Russian original) Zbl 07786476 Algebra Logic 61, No. 6, 491-505 (2023); translation from Algebra Logika 61, No. 6, 20-741 (2022). MSC: 03-XX 20-XX PDFBibTeX XMLCite \textit{A. A. Onoprienko}, Algebra Logic 61, No. 6, 491--505 (2023; Zbl 07786476); translation from Algebra Logika 61, No. 6, 20--741 (2022) Full Text: DOI
Morozov, Andrey; Schupp, Paul Computable permutations and word problems. (English) Zbl 1512.20106 Enseign. Math. (2) 64, No. 1-2, 143-160 (2018). MSC: 20F10 03D28 03D80 20B07 PDFBibTeX XMLCite \textit{A. Morozov} and \textit{P. Schupp}, Enseign. Math. (2) 64, No. 1--2, 143--160 (2018; Zbl 1512.20106) Full Text: DOI
Panicker, Gayatri; Krishna, K. V.; Bhaduri, Purandar Monoids of non-halting programs with tests. (English) Zbl 1400.08003 Algebra Univers. 79, No. 1, Paper No. 8, 29 p. (2018). Reviewer: Jānis Cīrulis (Riga) MSC: 08A70 03G25 20M35 68N15 PDFBibTeX XMLCite \textit{G. Panicker} et al., Algebra Univers. 79, No. 1, Paper No. 8, 29 p. (2018; Zbl 1400.08003) Full Text: DOI
Davis, Martin; Sieg, Wilfried Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015). Reviewer: Guido Gherardi (Bologna) MSC: 01A60 03-03 03D03 03D10 20M05 PDFBibTeX XMLCite \textit{M. Davis} and \textit{W. Sieg}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 3--27 (2015; Zbl 1400.01008) Full Text: DOI
Bremner, Murray R. Structure of the rational monoid algebra for Boolean matrices of order 3. (English) Zbl 1302.15039 Linear Algebra Appl. 449, 381-401 (2014). MSC: 15B34 16S50 16Z05 20M30 68W30 15-04 16-04 16G10 PDFBibTeX XMLCite \textit{M. R. Bremner}, Linear Algebra Appl. 449, 381--401 (2014; Zbl 1302.15039) Full Text: DOI arXiv
Michel, Pascal Homology of groups and third busy beaver function. (English) Zbl 1214.20035 Int. J. Algebra Comput. 20, No. 6, 769-791 (2010). MSC: 20F10 20J05 03D10 20F05 PDFBibTeX XMLCite \textit{P. Michel}, Int. J. Algebra Comput. 20, No. 6, 769--791 (2010; Zbl 1214.20035) Full Text: DOI
Heckmann, Reinhold Power domains and second-order predicates. (English) Zbl 0784.68054 Theor. Comput. Sci. 111, No. 1-2, 59-88 (1993). Reviewer: R.Heckmann MSC: 68Q55 03B50 06A99 06B35 06F05 20M25 22A26 54B20 54C35 54D80 PDFBibTeX XMLCite \textit{R. Heckmann}, Theor. Comput. Sci. 111, No. 1--2, 59--88 (1993; Zbl 0784.68054) Full Text: DOI
Bokut’, L. A.; Kukin, G. P. Unsolvable algorithmic problems for semigroups, groups and rings. (English. Russian original) Zbl 0666.20017 J. Sov. Math. 45, No. 1, 871-911 (1989); translation from Itogi Nauki Tekh., Ser. Algebra, Topologiya, Geom. 25, 3-66 (1987). MSC: 20F10 20M05 17B99 08A50 16Y99 PDFBibTeX XMLCite \textit{L. A. Bokut'} and \textit{G. P. Kukin}, J. Sov. Math. 45, No. 1, 871--911 (1989; Zbl 0666.20017); translation from Itogi Nauki Tekh., Ser. Algebra, Topologiya, Geom. 25, 3--66 (1987) Full Text: DOI
Paradis, Andre D. Regular subsets in semi-direct products of monoids. (English) Zbl 0363.20058 Discrete Math. 17, 299-307 (1977). MSC: 20M35 68Q45 PDFBibTeX XMLCite \textit{A. D. Paradis}, Discrete Math. 17, 299--307 (1977; Zbl 0363.20058) Full Text: DOI
Gabbay, Dov M. The decision problem for some finite extensions of the intuitionistic theory of abelian groups. (English) Zbl 0306.02027 Stud. Log. 34, 59-67 (1975). MSC: 03F55 03B25 20K99 PDFBibTeX XMLCite \textit{D. M. Gabbay}, Stud. Log. 34, 59--67 (1975; Zbl 0306.02027) Full Text: DOI
Cannonito, F. B.; Gatterdam, R. W. The word problem in polycyclic groups is elementary. (English) Zbl 0279.20028 Compos. Math. 27, 39-45 (1973). MSC: 20F10 03D20 PDFBibTeX XMLCite \textit{F. B. Cannonito} and \textit{R. W. Gatterdam}, Compos. Math. 27, 39--45 (1973; Zbl 0279.20028) Full Text: Numdam EuDML
Murskiĭ, V. L. Examples of varieties of semigroups. (English. Russian original) Zbl 0203.30002 Math. Notes 3(1968), 423-427 (1969). MSC: 20M07 20M05 PDFBibTeX XMLCite \textit{V. L. Murskiĭ}, Math. Notes 3, 423--427 (1969; Zbl 0203.30002) Full Text: DOI