Bradley, Aaron R.; Manna, Zohar The calculus of computation. Decision procedures with applications to verification. (English) Zbl 1126.03001 Berlin: Springer (ISBN 978-3-540-74112-1/hbk). xv, 366 p. (2007). Reviewer: Alex Nabebin (Moskva) MSC: 03-02 03B70 68Q60 03B25 03F30 68-02 68N30 × Cite Format Result Cite Review PDF
Ruzsa, Imre Z. Additive completion of lacunary sequences. (English) Zbl 0999.11011 Combinatorica 21, No. 2, 279-291 (2001). Reviewer: E.Härtter (Mainz) MSC: 11B13 11B34 11B83 × Cite Format Result Cite Review PDF Full Text: DOI
Han, Shu-Ping; Kirfel, Christoph; Nathanson, Melvyn B. Linear forms in finite sets of integers. (English) Zbl 0911.11008 Ramanujan J. 2, No. 1-2, 271-281 (1998). Reviewer: E.Härtter (Mainz) MSC: 11B13 11B05 11B75 × Cite Format Result Cite Review PDF Full Text: DOI
Shlapentokh, Alexandra The logic of pseudo-\(S\)-integers. (English) Zbl 0892.11037 Isr. J. Math. 101, 229-254 (1997). Reviewer: D.Busneag (Craiova) MSC: 11U05 03B25 12F10 × Cite Format Result Cite Review PDF Full Text: DOI
Lev, Vsevolod F. Structure theorem for multiple addition and the Frobenius problem. (English) Zbl 0853.11017 J. Number Theory 58, No. 1, 79-88 (1996). Reviewer: E.Härtter (Mainz) MSC: 11B83 11D04 × Cite Format Result Cite Review PDF Full Text: DOI
Stanchescu, Yonutz V. On addition of two distinct sets of integers. (English) Zbl 0841.11008 Acta Arith. 75, No. 2, 191-194 (1996). Reviewer: Y.Stanchescu (Tel-Aviv) MSC: 11B13 11B83 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Erdős, Paul; Szemerédi, E. On sums and products of integers. (English) Zbl 0526.10011 Studies in Pure Mathematics, Mem. of P. Turán, 213-218 (1983). Reviewer: Antal Balog (Budapest) MSC: 11B75 11B30 × Cite Format Result Cite Review PDF
Halberstam, Heini Additive number theory. (English) Zbl 0519.10038 Journées de théorie additive des nombres, Univ. Bordeaux I 1977, 1-17 (1977). MSC: 11Pxx 11Bxx 11-02 11P05 11P55 11P81 11P32 11B05 11B13 11B83 × Cite Format Result Cite Review PDF