Durand, Fabien; Goyheneche, Valérie Decidability, arithmetic subsequences and eigenvalues of morphic subshifts. (English) Zbl 1432.37018 Bull. Belg. Math. Soc. - Simon Stevin 26, No. 4, 591-618 (2019). MSC: 37B10 68R15 68Q45 03D05 94A55 03B25 37B15 PDFBibTeX XMLCite \textit{F. Durand} and \textit{V. Goyheneche}, Bull. Belg. Math. Soc. - Simon Stevin 26, No. 4, 591--618 (2019; Zbl 1432.37018) Full Text: DOI arXiv Euclid
Kufleitner, Manfred; Walter, Tobias Level two of the quantifier alternation hierarchy over infinite words. (English) Zbl 1436.03216 Theory Comput. Syst. 62, No. 3, 467-480 (2018). MSC: 03D05 03B25 03C13 PDFBibTeX XMLCite \textit{M. Kufleitner} and \textit{T. Walter}, Theory Comput. Syst. 62, No. 3, 467--480 (2018; Zbl 1436.03216) Full Text: DOI Link
Hieronymi, Philipp; Terry, Alonza jun. Ostrowski numeration systems, addition, and finite automata. (English) Zbl 1431.11017 Notre Dame J. Formal Logic 59, No. 2, 215-232 (2018). MSC: 11A67 11A55 03B25 68Q25 68R15 PDFBibTeX XMLCite \textit{P. Hieronymi} and \textit{A. Terry jun.}, Notre Dame J. Formal Logic 59, No. 2, 215--232 (2018; Zbl 1431.11017) Full Text: DOI arXiv
Bell, Jason P.; Madill, Blake W. Iterative algebras. (English) Zbl 1348.16019 Algebr. Represent. Theory 18, No. 6, 1533-1546 (2015). Reviewer: Vesselin Drensky (Sofia) MSC: 16S10 16W50 16P90 16N40 16N60 16R10 68R15 03B25 03D80 16S15 05A05 PDFBibTeX XMLCite \textit{J. P. Bell} and \textit{B. W. Madill}, Algebr. Represent. Theory 18, No. 6, 1533--1546 (2015; Zbl 1348.16019) Full Text: DOI arXiv
Jolivet, Timo; Siegel, Anne Decidability problems for self-induced systems generated by a substitution. (English) Zbl 1411.37018 Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9–11, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9288, 3-16 (2015). MSC: 37B50 03D35 28A80 68Q45 68R15 PDFBibTeX XMLCite \textit{T. Jolivet} and \textit{A. Siegel}, Lect. Notes Comput. Sci. 9288, 3--16 (2015; Zbl 1411.37018) Full Text: DOI HAL
Fazekas, Szilárd Zsolt Powers of regular languages. (English) Zbl 1218.68095 Int. J. Found. Comput. Sci. 22, No. 2, 323-330 (2011). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 03B25 03D05 68R15 68W05 PDFBibTeX XMLCite \textit{S. Z. Fazekas}, Int. J. Found. Comput. Sci. 22, No. 2, 323--330 (2011; Zbl 1218.68095) Full Text: DOI
Hofmann, Martin; Lange, Martin Automata theory and logic. (Automatentheorie und Logik.) (German) Zbl 1257.68003 eXamen.press. Berlin: Springer (ISBN 978-3-642-18089-7/pbk; 978-3-642-18090-3/ebook). x, 240 p. (2011). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 68-01 68-02 03-01 03B25 03B44 03B70 03D05 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. Hofmann} and \textit{M. Lange}, Automatentheorie und Logik. Berlin: Springer (2011; Zbl 1257.68003) Full Text: DOI
Murali, Venkat; Talwanga, Matiki Möbius functions on finite fuzzy sets. (English) Zbl 1206.05007 Adv. Fuzzy Sets Syst. 5, No. 1, 41-50 (2010). MSC: 05A05 03E72 PDFBibTeX XMLCite \textit{V. Murali} and \textit{M. Talwanga}, Adv. Fuzzy Sets Syst. 5, No. 1, 41--50 (2010; Zbl 1206.05007) Full Text: Link
Diekert, Volker; Gastin, Paul; Kufleitner, Manfred A survey on small fragments of first-order logic over finite words. (English) Zbl 1157.03003 Int. J. Found. Comput. Sci. 19, No. 3, 513-548 (2008). Reviewer: Alex Nabebin (Moskva) MSC: 03B20 03B25 03D05 68Q45 PDFBibTeX XMLCite \textit{V. Diekert} et al., Int. J. Found. Comput. Sci. 19, No. 3, 513--548 (2008; Zbl 1157.03003) Full Text: DOI
Bárány, Vince A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. (English) Zbl 1152.03030 Theor. Inform. Appl. 42, No. 3, 417-450 (2008). Reviewer: Alex Nabebin (Moskva) MSC: 03D05 03B25 03D55 68Q42 68Q45 68R15 PDFBibTeX XMLCite \textit{V. Bárány}, Theor. Inform. Appl. 42, No. 3, 417--450 (2008; Zbl 1152.03030) Full Text: DOI EuDML
Bès, Alexis; Cégielski, Patrick Weakly maximal decidable structures. (English) Zbl 1149.03015 Theor. Inform. Appl. 42, No. 1, 137-145 (2008). Reviewer: Alex Nabebin (Moskva) MSC: 03B25 03C57 03D05 PDFBibTeX XMLCite \textit{A. Bès} and \textit{P. Cégielski}, Theor. Inform. Appl. 42, No. 1, 137--145 (2008; Zbl 1149.03015) Full Text: DOI Numdam EuDML
Ringel, Claus Michael Some algebraically compact modules. I. (English) Zbl 0848.16011 Facchini, Alberto (ed.) et al., Abelian groups and modules. Proceedings of the Padova conference, Padova, Italy, June 23-July 1, 1994. Dordrecht: Kluwer Academic Publishers. Math. Appl., Dordr. 343, 419-439 (1995). Reviewer: M.Prest (Manchester) MSC: 16G20 03C60 16P10 68R15 16D50 PDFBibTeX XMLCite \textit{C. M. Ringel}, Math. Appl., Dordr. 343, 419--439 (1995; Zbl 0848.16011)
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas A decision procedure for the monadic second order logic of one successor. (Une méthode de décision de la logique monadique du second ordre d’une fonction successeur.) (French) Zbl 0802.03008 C. R. Acad. Sci., Paris, Sér. I 318, No. 9, 847-850 (1994). MSC: 03B25 03D05 68Q45 03B70 PDFBibTeX XMLCite \textit{H. Calbrix} et al., C. R. Acad. Sci., Paris, Sér. I 318, No. 9, 847--850 (1994; Zbl 0802.03008)
Thomas, Wolfgang On logics, tilings, and automata. (English) Zbl 0769.68100 Automata, languages and programming, Proc. 18th Int. Colloq., Madrid/Spain 1991, Lect. Notes Comput. Sci. 510, 441-454 (1991). MSC: 68Q45 03B25 03D05 03B15 PDFBibTeX XMLCite \textit{W. Thomas}, Lect. Notes Comput. Sci. 510, 441--454 (1991; Zbl 0769.68100)
Thomas, Wolfgang Infinite trees and automaton definable relations over \(\omega\)-words. (English) Zbl 0731.03007 Theoretical aspects of computer science, Proc. 7th Annu. Symp., STACS ’90, Rouen/Fr. 1990, Lect. Notes Comput. Sci. 415, 263-277 (1990). MSC: 03B25 68R15 03D05 68Q60 PDFBibTeX XML
Markov, A. A.; Nagorny, N. M. The theory of algorithms. Transl. from the Russian by M. Greendlinger. (English. Russian original) Zbl 0663.03023 Mathematics and Its Applications: Soviet Series, 23. Dordrecht (Netherlands) etc.: Kluwer Academic Publishers. xxiv, 369 p.; $ 149.00; £79.00 (1988). Reviewer: Marius Zimand (Bucureşti) MSC: 03D03 68W99 03F60 03-02 03-01 03D05 03F50 03D35 68-02 68-01 03-03 68-03 PDFBibTeX XMLCite \textit{A. A. Markov} and \textit{N. M. Nagorny}, The theory of algorithms. Transl. from the Russian by M. Greendlinger. Dordrecht (Netherlands) etc.: Kluwer Academic Publishers (1988; Zbl 0663.03023)