Jarnevic, A.; Osin, D.; Oyakawa, K. Generic length functions on countable groups. (English) Zbl 1523.20072 J. Algebra 635, 348-372 (2023). Reviewer: Enrico Jabara (Venezia) MSC: 20F65 03C60 03C75 03E15 05C25 20F67 PDFBibTeX XMLCite \textit{A. Jarnevic} et al., J. Algebra 635, 348--372 (2023; Zbl 1523.20072) Full Text: DOI arXiv
Abu Zaid, Faried; Köcher, Chris The Cayley-graph of the queue monoid: logic and decidability. (English) Zbl 1528.68089 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018). MSC: 68P05 03B25 03B70 03D05 05C25 20M20 20M35 68Q60 68R10 PDFBibTeX XMLCite \textit{F. Abu Zaid} and \textit{C. Köcher}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018; Zbl 1528.68089) Full Text: DOI
Ban, Jung-Chao; Chang, Chih-Hung Mixing properties of tree-shifts. (English) Zbl 1380.37033 J. Math. Phys. 58, No. 11, 112702, 13 p. (2017). MSC: 37B50 05C05 37B10 37A25 37E25 03D35 PDFBibTeX XMLCite \textit{J.-C. Ban} and \textit{C.-H. Chang}, J. Math. Phys. 58, No. 11, 112702, 13 p. (2017; Zbl 1380.37033) Full Text: DOI arXiv
Abeles, Francine F. The influence of Arthur Cayley and Alfred Kempe on Charles Peirce’s diagrammatic logic. (English) Zbl 1343.01015 Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2014 annual meeting. Selected papers based on the presentations at the annual meeting of the Canadian Society for History and Philosophy of Mathematics, St. Catharines, Canada, May 2014. Cham: Birkhäuser/Springer (ISBN 978-3-319-22257-8/hbk; 978-3-319-22258-5/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, 139-148 (2015). Reviewer: Robert W. van der Waall (Amsterdam) MSC: 01A55 01A60 03-03 03Cxx 05Cxx PDFBibTeX XMLCite \textit{F. F. Abeles}, in: Research in history and philosophy of mathematics. The CSHPM 2014 annual meeting. Selected papers based on the presentations at the annual meeting of the Canadian Society for History and Philosophy of Mathematics, St. Catharines, Canada, May 2014. Cham: Birkhäuser/Springer. 139--148 (2015; Zbl 1343.01015) Full Text: DOI
Miasnikov, Alexei; Savchuk, Dmytro An example of an automatic graph of intermediate growth. (English) Zbl 1322.68125 Ann. Pure Appl. Logic 166, No. 10, 1037-1048 (2015). MSC: 68Q45 03D05 05C25 20F10 20F65 PDFBibTeX XMLCite \textit{A. Miasnikov} and \textit{D. Savchuk}, Ann. Pure Appl. Logic 166, No. 10, 1037--1048 (2015; Zbl 1322.68125) Full Text: DOI arXiv
Ceccherini-Silberstein, Tullio; Coornaert, Michel; Fiorenzi, Francesca; Schupp, Paul E. Groups, graphs, languages, automata, games and second-order monadic logic. (English) Zbl 1269.68060 Eur. J. Comb. 33, No. 7, 1330-1368 (2012). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 20F10 03B25 68Q80 05C25 03B70 68-02 PDFBibTeX XMLCite \textit{T. Ceccherini-Silberstein} et al., Eur. J. Comb. 33, No. 7, 1330--1368 (2012; Zbl 1269.68060) Full Text: DOI arXiv
Goldbring, Isaac Ends of groups: a nonstandard perspective. (English) Zbl 1277.20045 J. Log. Anal. 3, Paper No. 7, 28 p. (2011). MSC: 20F65 03H05 20A15 20F05 57M07 PDFBibTeX XMLCite \textit{I. Goldbring}, J. Log. Anal. 3, Paper No. 7, 28 p. (2011; Zbl 1277.20045) Full Text: DOI arXiv
Scheele, Lars Iterated asymptotic cones. (English) Zbl 1275.20050 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 61 p. (2011). MSC: 20F69 20F65 53C23 57M07 03C20 20F05 PDFBibTeX XMLCite \textit{L. Scheele}, Iterated asymptotic cones. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2011; Zbl 1275.20050)
Diekert, Volker; Ondrusch, Nicole; Lohrey, Markus Algorithmic problems on inverse monoids over virtually free groups. (English) Zbl 1190.20045 Int. J. Algebra Comput. 18, No. 1, 181-208 (2008). MSC: 20M05 20M18 68Q17 03B25 03D40 PDFBibTeX XMLCite \textit{V. Diekert} et al., Int. J. Algebra Comput. 18, No. 1, 181--208 (2008; Zbl 1190.20045) Full Text: DOI
Lohrey, Markus; Ondrusch, Nicole Inverse monoids: decidability and complexity of algebraic questions. (English) Zbl 1139.20054 Inf. Comput. 205, No. 8, 1212-1234 (2007). Reviewer: Tero J. Harju (Turku) MSC: 20M05 20M18 03B25 68Q17 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{N. Ondrusch}, Inf. Comput. 205, No. 8, 1212--1234 (2007; Zbl 1139.20054) Full Text: DOI Link
Kuske, Dietrich; Lohrey, Markus Logical aspects of Cayley-graphs: the monoid case. (English) Zbl 1151.03003 Int. J. Algebra Comput. 16, No. 2, 307-340 (2006). MSC: 03B25 03D05 05C25 20M05 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{M. Lohrey}, Int. J. Algebra Comput. 16, No. 2, 307--340 (2006; Zbl 1151.03003) Full Text: DOI
Thomas, Simon Cayley graphs of finitely generated groups. (English) Zbl 1077.03029 Proc. Am. Math. Soc. 134, No. 1, 289-294 (2006). MSC: 03E15 20F05 20A15 PDFBibTeX XMLCite \textit{S. Thomas}, Proc. Am. Math. Soc. 134, No. 1, 289--294 (2006; Zbl 1077.03029) Full Text: DOI
Lohrey, Markus Decidability and complexity in automatic monoids. (English) Zbl 1146.20314 Int. J. Found. Comput. Sci. 16, No. 4, 707-722 (2005). MSC: 20M05 20M35 03B25 20F10 20F67 68Q15 PDFBibTeX XMLCite \textit{M. Lohrey}, Int. J. Found. Comput. Sci. 16, No. 4, 707--722 (2005; Zbl 1146.20314) Full Text: DOI
Kuske, Dietrich; Lohrey, Markus Logical aspects of Cayley-graphs: the group case. (English) Zbl 1063.03005 Ann. Pure Appl. Logic 131, No. 1-3, 263-286 (2005). Reviewer: J. M. Plotkin (East Lansing) MSC: 03B25 05C25 20F10 03D05 68Q45 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{M. Lohrey}, Ann. Pure Appl. Logic 131, No. 1--3, 263--286 (2005; Zbl 1063.03005) Full Text: DOI
Lohrey, Markus Decidability and complexity in automatic monoids. (English) Zbl 1117.20314 Calude, Cristian S. (ed.) et al., Developments in language theory. 8th international conference, DLT 2004, Auckland, New Zealand, December 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24014-4/pbk). Lecture Notes in Computer Science 3340, 308-320 (2004). MSC: 20M05 20M35 03B25 20F10 20F67 68Q15 PDFBibTeX XMLCite \textit{M. Lohrey}, Lect. Notes Comput. Sci. 3340, 308--320 (2004; Zbl 1117.20314) Full Text: DOI
Oger, Francis Algebraic and model-theoretic properties of tilings. (English) Zbl 1047.52014 Theor. Comput. Sci. 319, No. 1-3, 103-126 (2004). MSC: 52C22 03C65 52C23 PDFBibTeX XMLCite \textit{F. Oger}, Theor. Comput. Sci. 319, No. 1--3, 103--126 (2004; Zbl 1047.52014) Full Text: DOI
Kuske, Dietrich; Lohrey, Markus Decidable theories of Cayley-graphs. (English) Zbl 1036.03009 Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 463-474 (2003). MSC: 03B25 05C25 20F10 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{M. Lohrey}, Lect. Notes Comput. Sci. 2607, 463--474 (2003; Zbl 1036.03009) Full Text: Link
Cameron, Peter J. Homogeneous Cayley objects. (English) Zbl 0966.05039 Eur. J. Comb. 21, No. 6, 745-760 (2000). Reviewer: Steven C.Althoen (Flint) MSC: 05C25 05C80 05C65 03C52 05C20 06F15 PDFBibTeX XMLCite \textit{P. J. Cameron}, Eur. J. Comb. 21, No. 6, 745--760 (2000; Zbl 0966.05039) Full Text: DOI Link
Rees, Sarah A language theoretic analysis of combings. (English) Zbl 0976.20024 Gilman, Robert H. (ed.), Groups, languages and geometry. 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, South Hadley, MA, USA, July 5-9, 1998. Providence, RI: American Mathematical Society. Contemp. Math. 250, 117-136 (1999). Reviewer: V.A.Roman’kov (Omsk) MSC: 20F10 20F65 20-04 68Q45 03D40 PDFBibTeX XMLCite \textit{S. Rees}, Contemp. Math. 250, 117--136 (1999; Zbl 0976.20024) Full Text: arXiv
Majid, Nihad Extension (-1)-monomorphe d’une relation binaire. ((-1)-monomorphic extension of any binary relation). (French) Zbl 0671.05040 C. R. Acad. Sci., Paris, Sér. I 308, No. 12, 329-332 (1989). MSC: 05C20 03E20 PDFBibTeX XMLCite \textit{N. Majid}, C. R. Acad. Sci., Paris, Sér. I 308, No. 12, 329--332 (1989; Zbl 0671.05040)
Muller, David E.; Schupp, Paul E. The theory of ends, pushdown automata, and second-order logic. (English) Zbl 0605.03005 Theor. Comput. Sci. 37, 51-75 (1985). Reviewer: A.A.Mullin MSC: 03B25 03D10 68R10 05B45 68Q80 68Q85 PDFBibTeX XMLCite \textit{D. E. Muller} and \textit{P. E. Schupp}, Theor. Comput. Sci. 37, 51--75 (1985; Zbl 0605.03005) Full Text: DOI