{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T06:26:55Z","timestamp":1672295215691},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2007,11,27]],"date-time":"2007-11-27T00:00:00Z","timestamp":1196121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1007\/s00153-007-0059-x","type":"journal-article","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T10:51:45Z","timestamp":1196074305000},"page":"593-627","source":"Crossref","is-referenced-by-count":6,"title":["The elementary computable functions over the real numbers: applying two new techniques"],"prefix":"10.1007","volume":"46","author":[{"given":"Manuel L.","family":"Campagnolo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerry","family":"Ojakian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,11,27]]},"reference":[{"issue":"3","key":"59_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.jco.2006.12.005","volume":"23","author":"O. Bournez","year":"2007","unstructured":"Bournez O., Campagnolo M.L., Gra\u00e7a D.S. and Hainry E. (2007). Polynomial differential equations compute all real computable functions on computable compact intervals. J. Complex. 23(3): 317\u2013335","journal-title":"J. Complex."},{"issue":"2\u20133","key":"59_CR2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.tcs.2005.09.010","volume":"348","author":"O. Bournez","year":"2005","unstructured":"Bournez O. and Hainry E. (2005). Elementarily computable functions over the real numbers and $${\\mathbb{R}}$$ -sub-recursive functionsTheor. Comput. Sci. 348(2\u20133): 130\u2013147","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"59_CR3","first-page":"409","volume":"74","author":"O. Bournez","year":"2006","unstructured":"Bournez O. and Hainry E. (2006). Recursive analysis characterized as a class of real recursive functions. Fundamenta Informaticae 74(4): 409\u2013433","journal-title":"Fundamenta Informaticae"},{"key":"59_CR4","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1006\/jcom.2002.0655","volume":"18","author":"M.L. Campagnolo","year":"2002","unstructured":"Campagnolo M.L., Moore C. and Costa J.F. (2002). An analog characterization of the Grzegorczyk hierarchy. J. Complex. 18: 977\u20131000","journal-title":"J. Complex."},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"Campagnolo, M.L., Ojakian, K.: The methods of approximation and lifting in real computation. In: Cenzer, D., Dillhage, R., Grubba, T., Weihrauch, K. (eds.) Third International Conference on Computability and Complexity in Analysis. Electronic Notes in Theoretical Computer Science, vol. 167, pp 387\u2013423 (2007)","DOI":"10.1016\/j.entcs.2006.09.013"},{"issue":"4\u20135","key":"59_CR6","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.200310113","volume":"50","author":"D.S. Gra\u00e7a","year":"2004","unstructured":"Gra\u00e7a D.S. (2004). Some recent developments on Shannon\u2019s general purpose analog computer. Math. Logic Q. 50(4\u20135): 473\u2013485","journal-title":"Math. Logic Q."},{"key":"59_CR7","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","volume":"42","author":"A. Grzegorczyk","year":"1955","unstructured":"Grzegorczyk A. (1955). Computable functionals. Fund. Math. 42: 168\u2013202","journal-title":"Fund. Math."},{"key":"59_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"K.-I. Ko","year":"1991","unstructured":"Ko K.-I. (1991). Complexity Theory of Real Functions. Birkha\u00fcser, Basel"},{"key":"59_CR9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(95)00248-0","volume":"162","author":"C. Moore","year":"1996","unstructured":"Moore C. (1996). Recursion theory on the reals and continuous-time computation. Theor. Comput. Sci. 162: 23\u201344","journal-title":"Theor. Comput. Sci."},{"key":"59_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0304-3975(02)00744-2","volume":"302","author":"J. Mycka","year":"2003","unstructured":"Mycka J. (2003). \u03bc-Recursion and infinite limits. Theor. Comput. Sci. 302: 123\u2013133","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"59_CR11","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1016\/j.jco.2004.06.001","volume":"20","author":"J. Mycka","year":"2004","unstructured":"Mycka J. and Costa J.F. (2004). Real recursive functions and their hierarchy. J. Complex. 20(6): 835\u2013857","journal-title":"J. Complex."},{"key":"59_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: An Introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch K. (2000). Computable Analysis: An Introduction. Springer, Heidelberg"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0059-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-007-0059-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0059-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:36:42Z","timestamp":1558625802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-007-0059-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,27]]},"references-count":12,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["59"],"URL":"https:\/\/doi.org\/10.1007\/s00153-007-0059-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,27]]}}}