{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:50:49Z","timestamp":1725565849251},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228493"},{"type":"electronic","value":"9783540278368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_25","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"269-280","source":"Crossref","is-referenced-by-count":5,"title":["An Analog Characterization of Elementarily Computable Functions over the Real Numbers"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Hainry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Ordinary Differential Equations","author":"V.I. Arnold","year":"1978","unstructured":"Arnold, V.I.: Ordinary Differential Equations. MIT Press, Cambridge (1978)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Asarin, E., Bouajjani, A.: Perturbed Turing machines and hybrid systems. In: Logic in computer science, pp. 269\u2013278 (2001)","DOI":"10.1109\/LICS.2001.932503"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1006\/jcss.1998.1601","volume":"57","author":"E. Asarin","year":"1998","unstructured":"Asarin, E., Maler, O.: Achilles and the tortoise climbing up the arithmetical hierarchy. Journal of Computer and System Sciences\u00a057(3), 389\u2013398 (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"25_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1998","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Heidelberg (1998)"},{"issue":"1","key":"25_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0304-3975(98)00096-6","volume":"210","author":"O. Bournez","year":"1999","unstructured":"Bournez, O.: Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy. Theoretical Computer Science\u00a0210(1), 21\u201371 (1999)","journal-title":"Theoretical Computer Science"},{"key":"25_CR6","unstructured":"Bournez, O.: Complexit\u00e9 algorithmique des syst\u00e8mes dynamiques continus et hybrides. PhD thesis, \u00c9cole Normale Sup\u00e9rieure de Lyon (Janvier 1999)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Bowles, M.: United States technological enthusiasm and the british technological skepticism in the age of the analog brain. In: IEEE Annals of the History of Computing, vol.\u00a04, pp. 5\u201315 (1996)","DOI":"10.1109\/85.539911"},{"issue":"4","key":"25_CR8","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1006\/jcom.2002.0655","volume":"18","author":"M. Campagnolo","year":"2002","unstructured":"Campagnolo, M., Moore, C., Costa, J.F.: An analog characterization of the Grzegorczyk hierarchy. Journal of Complexity\u00a018(4), 977\u20131000 (2002)","journal-title":"Journal of Complexity"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Campagnolo, M.L.: Computational complexity of real valued recursive functions and analog circuits. PhD thesis, Universidade T\u00e9cnica de Lisboa (2001)","DOI":"10.1007\/3-540-45833-6_1"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1023\/A:1014019225365","volume":"41","author":"G. Etesi","year":"2002","unstructured":"Etesi, G., N\u00e9meti, I.: Non-Turing computations via Malament-Hogarth spacetimes. International Journal Theoretical Physics\u00a041, 341\u2013370 (2002)","journal-title":"International Journal Theoretical Physics"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"D. Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D., Costa, J.F.: Analog computers and recursive functions over the reals. Journal of Complexity\u00a019, 644\u2013664 (2003)","journal-title":"Journal of Complexity"},{"key":"25_CR12","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.: Computable functionals. Fundamenta Mathematicae\u00a042, 168\u2013202 (1955)","journal-title":"Fundamenta Mathematicae"},{"key":"25_CR13","unstructured":"Henzinger, T., Raskin, J.-F.: Robust undecidability of timed and hybrid systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, Springer, Heidelberg (1999)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00682813","volume":"5","author":"M.L. Hogarth","year":"1992","unstructured":"Hogarth, M.L.: Does general relativity allow an observer to view an eternity in a finite time? Foundations of physics letters\u00a05, 173\u2013181 (1992)","journal-title":"Foundations of physics letters"},{"key":"25_CR15","first-page":"151","volume":"241","author":"D. Lacombe","year":"1955","unstructured":"Lacombe, D.: Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles III. Comptes rendus de l\u2019Acad\u00e9mie des Sciences Paris\u00a0241, 151\u2013153 (1955)","journal-title":"Comptes rendus de l\u2019Acad\u00e9mie des Sciences Paris"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1090\/S0002-9939-1987-0870803-1","volume":"99","author":"L. Lipshitz","year":"1987","unstructured":"Lipshitz, L., Rubel, L.A.: A differentially algebraic replacement theorem, and analog computability. Proceedings of the American Mathematical Society\u00a099(2), 367\u2013372 (1987)","journal-title":"Proceedings of the American Mathematical Society"},{"issue":"1","key":"25_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0304-3975(95)00248-0","volume":"162","author":"C. Moore","year":"1996","unstructured":"Moore, C.: Recursion theory on the reals and continuous-time computation. Theoretical Computer Science\u00a0162(1), 23\u201344 (1996)","journal-title":"Theoretical Computer Science"},{"key":"25_CR18","first-page":"83","volume":"16","author":"J. Mycka","year":"2003","unstructured":"Mycka, J.: Infinite limits and R-recursive functions. Acta Cybernetica\u00a016, 83\u201391 (2003)","journal-title":"Acta Cybernetica"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0304-3975(02)00744-2","volume":"302","author":"J. Mycka","year":"2003","unstructured":"Mycka, J.: \u03bc-recursion and infinite limits. Theoretical Computer Science\u00a0302, 123\u2013133 (2003)","journal-title":"Theoretical Computer Science"},{"key":"25_CR20","volume-title":"Classical recursion theory II","author":"P. Odifreddi","year":"1999","unstructured":"Odifreddi, P.: Classical recursion theory II. North-Holland, Amsterdam (1999)"},{"key":"25_CR21","unstructured":"Ord, T.: Hypercomputation: computing more than the Turing machine. Technical report, University of Melbourne, september (2002), available at http:\/\/www.arxiv.org\/abs\/math.lo\/0209332"},{"key":"25_CR22","first-page":"209","volume-title":"Algorithms, languages and complexity, chapter A survey of continuoustime computational theory","author":"P. Orponen","year":"1997","unstructured":"Orponen, P.: Algorithms, languages and complexity, chapter A survey of continuoustime computational theory, pp. 209\u2013224. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"25_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","volume":"199","author":"M.B. Pour-El","year":"1974","unstructured":"Pour-El, M.B.: Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers). Transactions of the American Mathematical Society\u00a0199, 1\u201328 (1974)","journal-title":"Transactions of the American Mathematical Society"},{"key":"25_CR24","volume-title":"Subrecursion: Functions and Hierarchies","author":"H. Rose","year":"1984","unstructured":"Rose, H.: Subrecursion: Functions and Hierarchies. Clarendon Press, Oxford (1984)"},{"key":"25_CR25","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"C.E. Shannon","year":"1941","unstructured":"Shannon, C.E.: Mathematical theory of the differential analyser. Journal of Mathematics and Physics MIT\u00a020, 337\u2013354 (1941)","journal-title":"Journal of Mathematics and Physics MIT"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Siegelmann, H.: Neural networks and analog computation - beyond the Turing limit. Birkauser (1998)","DOI":"10.1007\/978-1-4612-0707-8"},{"key":"25_CR27","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1098\/rspl.1875.0034","volume":"24","author":"W. Thomson","year":"1876","unstructured":"Thomson, W.: On an instrument for calculating the integral of the product of two given functions. Proceedings of the royal society of London\u00a0(24), 266\u2013276 (1876)","journal-title":"Proceedings of the royal society of London"},{"key":"25_CR28","first-page":"230","volume":"2","author":"A. Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the \u201cEntschei\u2013dungs\u2013 problem\u201d. Proceedings of the london mathematical society\u00a02, 230\u2013265 (1936)","journal-title":"Proceedings of the london mathematical society"},{"key":"25_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)"},{"key":"25_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/BFb0045082","volume-title":"Computing and Combinatorics","author":"Q. Zhou","year":"1997","unstructured":"Zhou, Q.: Subclasses of computable real valued functions. In: Jiang, T., Lee, D.T. (eds.) COCOON 1997. LNCS, vol.\u00a01276, pp. 156\u2013165. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:23:52Z","timestamp":1605759832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}