Zapryagaev, A. A. On interpretations of Presburger arithmetic in Büchi arithmetics. (English. Russian original) Zbl 1542.03055 Dokl. Math. 107, No. 2, 89-92 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 3-7 (2023). Reviewer: Roger Villemaire (Montréal) MSC: 03C62 03F30 03D05 × Cite Format Result Cite Review PDF Full Text: DOI
Bozga, Marius; Iosif, Radu On decidability within the arithmetic of addition and divisibility. (English) Zbl 1119.03060 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 425-439 (2005). MSC: 03F30 03B25 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Lee, R. D. An application of mathematical logic to the integer linear programming problem. (English) Zbl 0197.45703 Notre Dame J. Formal Logic 13, 279-282 (1972). Reviewer: R. D. Lee MSC: 90C10 90C05 × Cite Format Result Cite Review PDF Full Text: DOI