{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:33Z","timestamp":1725574593472},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_27","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:29:02Z","timestamp":1294972142000},"page":"425-439","source":"Crossref","is-referenced-by-count":11,"title":["On Decidability Within the Arithmetic of Addition and Divisibility"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Iosif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"B\u00e9s, A.: A survey of arithmetical definability. A Tribute to Maurice Boffa. Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique, pp. 1\u201354 (2002)"},{"key":"27_CR2","first-page":"15","volume":"60","author":"A.P. Beltyukov","year":"1976","unstructured":"Beltyukov, A.P.: Decidability of the universal theory of natural numbers with addition and divisibility. Zapiski Nauch. Sem. Leningrad Otdeleniya Mathematical Institute\u00a060, 15\u201328 (1976)","journal-title":"Zapiski Nauch. Sem. Leningrad Otdeleniya Mathematical Institute"},{"key":"27_CR3","unstructured":"Bardin, S., Finkel, A., Nowak, D.: Toward symbolic verification of programs handling pointers. In: Proc. 3rd Int. Workshop on Automated Verification of Infinite-State Systems (AVIS 2004), Barcelona, Spain. Electronic Notes in Theoretical Computer Science (2004)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Bozga, M., Iosif, R.: On Decidability within the Arithmetic of Addition and Divisibility. Technical Report\u00a018, Verimag (October 2004)","DOI":"10.1007\/978-3-540-31982-5_27"},{"key":"27_CR5","unstructured":"Bozga, M., Iosif, R., Lakhnech, Y.: Counting aliases. Technical Report\u00a017, Verimag (October 2004)"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1090\/S0002-9904-1969-12415-8","volume":"75","author":"R.B. Crittenden","year":"1969","unstructured":"Crittenden, R.B., Vanden Eynden, C.L.: A proof of a conjecture of Erd\u00f6s. Bulletin of American Mathematical Society\u00a075, 1326\u20131329 (1969)","journal-title":"Bulletin of American Mathematical Society"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. American Journal of Mathematics\u00a058, 345\u2013363 (1936)","journal-title":"American Journal of Mathematics"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0028751","volume-title":"Computer Aided Verification","author":"H. Comon","year":"1998","unstructured":"Comon, H., Jurski, Y.: Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 268\u2013279. Springer, Heidelberg (1998)"},{"key":"27_CR9","volume-title":"Chinese Remainder Theorem: Applications in Computing, Coding, Cryptography","author":"C. Ding","year":"1999","unstructured":"Ding, C., Pei, D., Salomaa, A.: Chinese Remainder Theorem: Applications in Computing, Coding, Cryptography. World Scientific Publishing Company, Singapore (1999)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik\u00a038, 173\u2013198 (1931)","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1090\/S0002-9947-1978-0469886-1","volume":"235","author":"L. Lipshitz","year":"1976","unstructured":"Lipshitz, L.: The diophantine problem for addition and divisibility. Transaction of the American Mathematical Society\u00a0235, 271\u2013283 (1976)","journal-title":"Transaction of the American Mathematical Society"},{"key":"27_CR12","first-page":"354","volume":"11","author":"Y. Matiyasevich","year":"1970","unstructured":"Matiyasevich, Y.: Enumerable sets are diophantine. Journal of Sovietic Mathematics\u00a011, 354\u2013358 (1970)","journal-title":"Journal of Sovietic Mathematics"},{"key":"27_CR13","unstructured":"Presburger, M.: \u00dcber die Vollstandigkeit eines gewissen Systems der Arithmetik. Comptes rendus du I Congr\u00e9s des Pays Slaves, Warsaw (1929)"},{"issue":"2","key":"27_CR14","doi-asserted-by":"publisher","first-page":"98","DOI":"10.2307\/2266510","volume":"14","author":"J. Robinson","year":"1949","unstructured":"Robinson, J.: Definability and decision problems in arithmetic. The Journal of Symbolic Logic\u00a014(2), 98\u2013114 (1949)","journal-title":"The Journal of Symbolic Logic"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2307\/2269028","volume":"1","author":"B. Rosser","year":"1936","unstructured":"Rosser, B.: Extensions of some theorems of G\u00f6del and Church. The Journal of Symbolic Logic\u00a01, 87\u201391 (1936)","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:32:56Z","timestamp":1605742376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}