{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:03Z","timestamp":1725575163891},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261797"},{"type":"electronic","value":"9783540322665"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494645_63","type":"book-chapter","created":{"date-parts":[[2011,1,16]],"date-time":"2011-01-16T17:37:10Z","timestamp":1295199430000},"page":"515-529","source":"Crossref","is-referenced-by-count":2,"title":["A Network Model of Analogue Computation over Metric Algebras"],"prefix":"10.1007","author":[{"given":"John V.","family":"Tucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffery I.","family":"Zucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"63_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0016-0032(31)90616-9","volume":"212","author":"V. Bush","year":"1931","unstructured":"Bush, V.: The differential analyzer: a new machine for solving differential equations. Journal of the Franklin Institute\u00a0212, 447\u2013488 (1931)","journal-title":"Journal of the Franklin Institute"},{"key":"63_CR2","unstructured":"Engelking, R.: General Topology. Heldermann (1989)"},{"key":"63_CR3","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"D.S. Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D.S., Costa, J.F.: Analog computers and recursive functions over the reals. Journal of Complexity\u00a019, 644\u2013664 (2003)","journal-title":"Journal of Complexity"},{"volume-title":"Handbook of Computability Theory","year":"1999","key":"63_CR4","unstructured":"Griffor, E. (ed.): Handbook of Computability Theory. North-Holland, Amsterdam (1999)"},{"key":"63_CR5","volume-title":"Analog and Hybrid Computing","author":"D.E. Hyndman","year":"1970","unstructured":"Hyndman, D.E.: Analog and Hybrid Computing. Pergamon Press, Oxford (1970)"},{"key":"63_CR6","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"63_CR7","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.jco.2004.06.001","volume":"20","author":"J. Mycka","year":"2005","unstructured":"Mycka, J., Costa, J.F.: Real recursive functions and their hierarchy. Journal of Complexity\u00a020, 835\u2013857 (2005)","journal-title":"Journal of Complexity"},{"key":"63_CR8","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, 23\u201344 (1996)","journal-title":"Theoretical Computer Science"},{"key":"63_CR9","volume-title":"Signals and Systems","author":"A.V. Oppenheim","year":"1997","unstructured":"Oppenheim, A.V., Willsky, A.S.: Signals and Systems, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"63_CR10","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. J. American Mathematical Society\u00a0199, 1\u201328 (1974)","journal-title":"J. American Mathematical Society"},{"key":"63_CR11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"C. Shannon","year":"1941","unstructured":"Shannon, C.: Mathematical theory of the differential analyser. Journal of Mathematics and Physics\u00a020, 337\u2013354 (1941)","journal-title":"Journal of Mathematics and Physics"},{"key":"63_CR12","volume-title":"Treatise on Natural Philosophy Part I","author":"W. Thompson","year":"1880","unstructured":"Thompson, W., Tait, P.G.: Treatise on Natural Philosophy Part I, 2nd edn. Cambridge University Press, Cambridge (1880)","edition":"2"},{"key":"63_CR13","unstructured":"Thompson, B.C., Tucker, J.V.: Algebraic specification of synchronous concurrent algorithms and architectures. Research Report CSR 9-91, Department of Computer Science, University College of Swansea (1991)"},{"key":"63_CR14","first-page":"341","volume-title":"Proof and Computation: NATO Advanced Study Institute Summer School at Marktoberdorf, 1993","author":"J.V. Tucker","year":"1994","unstructured":"Tucker, J.V., Zucker, J.I.: Computable functions on stream algebras. In: Schwichtenberg, H. (ed.) Proof and Computation: NATO Advanced Study Institute Summer School at Marktoberdorf, 1993, pp. 341\u2013382. Springer, Heidelberg (1994)"},{"key":"63_CR15","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1145\/1024922.1024924","volume":"5","author":"J.V. Tucker","year":"2004","unstructured":"Tucker, J.V., Zucker, J.I.: Abstract versus concrete computation on metric partial algebras. ACM Trans. on Computational Logic\u00a05, 611\u2013668 (2004)","journal-title":"ACM Trans. on Computational Logic"},{"key":"63_CR16","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.: Computable Analysis: An Introduction. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","New Computational Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494645_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:38:22Z","timestamp":1619505502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494645_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261797","9783540322665"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11494645_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}