Makowsky, Johann A. Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries. (English) Zbl 1439.03033 Ann. Math. Artif. Intell. 85, No. 2-4, 259-291 (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03B25 03D35 51M05 PDFBibTeX XMLCite \textit{J. A. Makowsky}, Ann. Math. Artif. Intell. 85, No. 2--4, 259--291 (2019; Zbl 1439.03033) Full Text: DOI arXiv
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika Fifty years of the spectrum problem: survey and new results. (English) Zbl 1309.03014 Bull. Symb. Log. 18, No. 4, 505-553 (2012). MSC: 03C13 03-02 03-03 68Q19 PDFBibTeX XMLCite \textit{A. Durand} et al., Bull. Symb. Log. 18, No. 4, 505--553 (2012; Zbl 1309.03014) Full Text: DOI arXiv Euclid
Kotek, Tomer; Makowsky, Johann A. Definability of combinatorial functions and their linear recurrence relations. (English) Zbl 1287.05008 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 444-462 (2010). MSC: 05A15 03B15 PDFBibTeX XMLCite \textit{T. Kotek} and \textit{J. A. Makowsky}, Lect. Notes Comput. Sci. 6300, 444--462 (2010; Zbl 1287.05008) Full Text: DOI arXiv
Fischer, E.; Makowsky, J. A. On spectra of sentences of monadic second order logic with counting. (English) Zbl 1070.03018 J. Symb. Log. 69, No. 3, 617-640 (2004). MSC: 03C13 03B15 03D05 68Q45 PDFBibTeX XMLCite \textit{E. Fischer} and \textit{J. A. Makowsky}, J. Symb. Log. 69, No. 3, 617--640 (2004; Zbl 1070.03018) Full Text: DOI
Makowsky, J. A. Algorithmic uses of the Feferman-Vaught theorem. (English) Zbl 1099.03009 Ann. Pure Appl. Logic 126, No. 1-3, 159-213 (2004). Reviewer: S. R. Kogalovskij (Ivanovo) MSC: 03B25 03C40 03B15 68Q25 05C85 05C69 PDFBibTeX XMLCite \textit{J. A. Makowsky}, Ann. Pure Appl. Logic 126, No. 1--3, 159--213 (2004; Zbl 1099.03009) Full Text: DOI
Makowsky, J. A.; Mariño, J. P. Tree-width and the monadic quantifier hierarchy. (English) Zbl 1044.68130 Theor. Comput. Sci. 303, No. 1, 157-170 (2003). MSC: 68R10 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{J. P. Mariño}, Theor. Comput. Sci. 303, No. 1, 157--170 (2003; Zbl 1044.68130) Full Text: DOI
Makowsky, J. A.; Mariño, J. P. Farrell polynomials on graphs of bounded tree width. (English) Zbl 1023.68070 Adv. Appl. Math. 30, No. 1-2, 160-176 (2003). MSC: 68R10 68Q17 05C30 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{J. P. Mariño}, Adv. Appl. Math. 30, No. 1--2, 160--176 (2003; Zbl 1023.68070) Full Text: DOI
Makowsky, J. A.; Pnueli, Y. B. Arity and alternation in second-order logic. (English) Zbl 0854.03006 Ann. Pure Appl. Logic 78, No. 1-3, 189-202 (1996); erratum ibid. 92, No. 2, 215 (1998). Reviewer: J.M.Plotkin (East Lansing) MSC: 03B15 03D15 68Q15 03C13 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{Y. B. Pnueli}, Ann. Pure Appl. Logic 78, No. 1--3, 189--202 (1996; Zbl 0854.03006) Full Text: DOI
Makowsky, J. A.; Ziegler, M. Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. (English) Zbl 0472.03027 Arch. Math. Logik Grundlagenforsch. 21, 37-54 (1981). MSC: 03C80 03C40 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{M. Ziegler}, Arch. Math. Logik Grundlagenforsch. 21, 37--54 (1981; Zbl 0472.03027) Full Text: DOI EuDML
Makowsky, J. A.; Marcja, A. Problemi di decidibilita in logica topologica. (Italian) Zbl 0402.03020 Rend. Sem. Mat. Univ. Padova 56(1977), 67-78 (1978). MSC: 03B25 03C10 54A99 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{A. Marcja}, Rend. Semin. Mat. Univ. Padova 56, 67--78 (1978; Zbl 0402.03020) Full Text: Numdam EuDML