{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:56Z","timestamp":1759638176333,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519935.3519958","type":"proceedings-article","created":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T15:29:32Z","timestamp":1654874972000},"page":"1172-1179","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A strong version of Cobham\u2019s theorem"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Hieronymi","sequence":"first","affiliation":[{"name":"University of Bonn, Germany"}]},{"given":"Christian","family":"Schulz","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546563"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0999-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1112\/s0025579300003843"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275643"},{"key":"e_1_3_2_1_5_1","unstructured":"Alexis B\u00e8s. 2001. A survey of arithmetical definability. 1\u201354. issn:1370-1444 A tribute to Maurice Boffa.  Alexis B\u00e8s. 2001. A survey of arithmetical definability. 1\u201354. issn:1370-1444 A tribute to Maurice Boffa."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(4:18)2013"},{"key":"e_1_3_2_1_7_1","volume-title":"Logic and p-recognizable sets of integers. 1, 191\u2013238. issn:1370-1444 http:\/\/projecteuclid.org.proxy2.library.illinois.edu\/euclid.bbms\/1103408547 Journ\u00e9es Montoises (Mons","author":"Bruy\u00e8re V\u00e9ronique","year":"1992","unstructured":"V\u00e9ronique Bruy\u00e8re , Georges Hansel , Christian Michaux , and Roger Villemaire . 1994. Logic and p-recognizable sets of integers. 1, 191\u2013238. issn:1370-1444 http:\/\/projecteuclid.org.proxy2.library.illinois.edu\/euclid.bbms\/1103408547 Journ\u00e9es Montoises (Mons , 1992 ). V\u00e9ronique Bruy\u00e8re, Georges Hansel, Christian Michaux, and Roger Villemaire. 1994. Logic and p-recognizable sets of integers. 1, 191\u2013238. issn:1370-1444 http:\/\/projecteuclid.org.proxy2.library.illinois.edu\/euclid.bbms\/1103408547 Journ\u00e9es Montoises (Mons, 1992)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19600060105"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01746527"},{"key":"e_1_3_2_1_10_1","unstructured":"Fabien Durand and Michel Rigo. 2011. On Cobham\u2019s theorem. In Automata: from Mathematics to Applications. European Math. Soc.. https:\/\/hal.archives-ouvertes.fr\/hal-00605375  Fabien Durand and Michel Rigo. 2011. On Cobham\u2019s theorem. In Automata: from Mathematics to Applications. European Math. Soc.. https:\/\/hal.archives-ouvertes.fr\/hal-00605375"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2269808"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm167-1-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1966.16.285"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-10-10268-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-17(3:4)2021"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054121500118"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271342"},{"key":"e_1_3_2_1_18_1","volume-title":"Logic: from foundations to applications (Staffordshire","author":"Michaux Christian","year":"1993","unstructured":"Christian Michaux and Roger Villemaire . 1996. Open questions around B\u00fcchi and Presburger arithmetics . In Logic: from foundations to applications (Staffordshire , 1993 ). Oxford Univ. Press , New York , 353\u2013383. Christian Michaux and Roger Villemaire. 1996. Open questions around B\u00fcchi and Presburger arithmetics. In Logic: from foundations to applications (Staffordshire, 1993). Oxford Univ. Press, New York, 353\u2013383."},{"key":"e_1_3_2_1_19_1","unstructured":"Francoise Point. 2007. On the expansion ( N + 2^x) of Presburger arithmetic.  Francoise Point. 2007. On the expansion ( N + 2^x) of Presburger arithmetic."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927872.2015.1028236"},{"key":"e_1_3_2_1_21_1","volume-title":"The Presburger nature of predicates that are regular in two number systems. Sibirsk. Mat. \u017d., 18, 2","author":"Semenov A. L.","year":"1977","unstructured":"A. L. Semenov . 1977. The Presburger nature of predicates that are regular in two number systems. Sibirsk. Mat. \u017d., 18, 2 ( 1977 ), 403\u2013418, 479. issn:0037-4474 A. L. Semenov. 1977. The Presburger nature of predicates that are regular in two number systems. Sibirsk. Mat. \u017d., 18, 2 (1977), 403\u2013418, 479. issn:0037-4474"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02280812"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789814271059_0016"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90256-F"}],"event":{"name":"STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Rome Italy","acronym":"STOC '22"},"container-title":["Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519935.3519958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519935.3519958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:38Z","timestamp":1750268978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519935.3519958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":24,"alternative-id":["10.1145\/3519935.3519958","10.1145\/3519935"],"URL":"https:\/\/doi.org\/10.1145\/3519935.3519958","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}