{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:15Z","timestamp":1725663255300},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540126898"},{"type":"electronic","value":"9783540386827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12689-9_111","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:52:21Z","timestamp":1330192341000},"page":"285-289","source":"Crossref","is-referenced-by-count":1,"title":["Decision problems for exponential rings: The p-adic case"],"prefix":"10.1007","author":[{"given":"Angus","family":"Macintyre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"Y. Amice, Les Nombres P-adiques, Presses Universitaires de France, 1975.","key":"23_CR1"},{"unstructured":"J. Denef, The rationality of the Poincar\u00e9 series associated to the p-adic points on a variety, preprint, Leuven, 1983.","key":"23_CR2"},{"unstructured":"L. van den Dries, Exponential rings, exponential polynomials and exponential functions, to appear in Pacific Journal.","key":"23_CR3"},{"unstructured":"\u2014, Real analytic Hardy fields and exponentially definable subsets of the plane, to appear in American Journal.","key":"23_CR4"},{"key":"23_CR5","first-page":"762","volume":"22","author":"A.G. Hovanskii","year":"1980","unstructured":"A.G. Hovanskii, On a class of systems of transcendental equations, translated in Soviet Math. Doklady 22 (1980), 762\u2013765.","journal-title":"Doklady"},{"unstructured":"W. Henson and L. Rubel, preprint, Urbana 1982.","key":"23_CR6"},{"unstructured":"D.J. Lewis, Diophantine equations: p-adic methods, 25\u201375 in Studies in Number Theory, (W.J. LeVeque, editor) MAA 1969.","key":"23_CR7"},{"key":"23_CR8","first-page":"605","volume":"41","author":"A. Macintyre","year":"1976","unstructured":"A. Macintyre, On definable subsets of p-adic fields, J.S.L. 41 (1976), 605\u2013610.","journal-title":"J.S.L."},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BFb0095664","volume":"890","author":"A. Macintyre","year":"1979","unstructured":"\u2014, The laws of exponentiation, Springer Lecture Notes 890 (1979), 185\u2013198.","journal-title":"Springer Lecture Notes"},{"key":"23_CR10","first-page":"333","volume":"15","author":"D. Richardson","year":"1969","unstructured":"D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr fur Math. Logik 15 (1969), 333\u2013360.","journal-title":"Zeitschr fur Math. Logik"},{"unstructured":"A. Wilkie, preprint, Yale, 1981.","key":"23_CR11"}],"container-title":["Lecture Notes in Computer Science","Foundations of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12689-9_111.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:50:21Z","timestamp":1619556621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12689-9_111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540126898","9783540386827"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-12689-9_111","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}