{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:31:32Z","timestamp":1742913092550,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648246"},{"type":"electronic","value":"9783540685357"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-68535-9_22","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:31:22Z","timestamp":1193473882000},"page":"184-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Approaches to Effective Semi-continuity of Real Functions"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Brattka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Weihrauch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xizhong","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"V. Brattka Computable Invariance. COCOON\u201997, Shanghai, China, August 1997.","DOI":"10.1007\/BFb0045081"},{"issue":"1\u20133","key":"22_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0168-0072(95)00034-8","volume":"79","author":"X. Ge","year":"1996","unstructured":"X. Ge & A. Nerode Effective content of the calculus of variations I: semicontinuity and the chattering lemma. Annals of Pure and Applied Logic, 79 (1996), no. 1\u20133, 127\u2013146.","journal-title":"Annals of Pure and Applied Logic"},{"key":"22_CR3","unstructured":"X. Ge Private Communication, 1997."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczy","year":"1957","unstructured":"A. Grzegorczy On the definitions of recursive real continuous functions. Fund. Math. 44 (1957), 61\u201371.","journal-title":"Fund. Math."},{"key":"22_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1989","unstructured":"M. Pour-El & J. Richards Computability in Analysis and Physics. Springer-Verlag, Berlin, Heidelberg, 1989."},{"key":"22_CR6","unstructured":"J. Ian Richards & Q. Zhou Computability of closed and open sets in Euclidean space, Preprint, 1992."},{"key":"22_CR7","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"H. Jr. Rogers Theory of Recursive Functions and Effective Computability McGraw-Hill, Inc. New York, 1967."},{"key":"22_CR8","volume-title":"EATCS Monographs on Theoretical Computer Secience","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch Computability. EATCS Monographs on Theoretical Computer Secience Vol. 9, Springer-Verlag, Berlin, Heidelberg, 1987."},{"key":"22_CR9","first-page":"66","volume-title":"Combinatorics, Complexity, Logic, Proceedings of DMTCS\u201996","author":"K. Weihrauch","year":"1997","unstructured":"K. Weihrauch A foundation for computable analysis. in Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steves Reeves and Ian H. Witten (editors), Combinatorics, Complexity, Logic, Proceedings of DMTCS\u201996, pp 66\u201389, Springer-Verlag, Sigapore, 1997."},{"key":"22_CR10","unstructured":"K. Weihrauch & V. Brattka Computable Subsets of Euclidean Space. to appear in Theoret. Comput. Sci.."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"K. Weihrauch & X. Zheng Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions, to appear in Theoret. Comput. Sci. 211 (1998). (Extended abstract in Proc. of COCOON\u201997 Shanghai, China, August 1997, 166\u2013175).","DOI":"10.1007\/BFb0045083"},{"key":"22_CR12","first-page":"210","volume-title":"CTCS\u201997","author":"K. Weihrauch","year":"1997","unstructured":"K. Weihrauch & X. Zheng Effectivity of the Global Modulus of Continuity on Metric Spaces, CTCS\u201997, Santa Margherita Ligure, Italy, September 1997, 210\u2013219."},{"key":"22_CR13","unstructured":"K. Weihrauch & X. Zheng A Finite Hierarchy of Recursively enumerable real numbers, submitted."},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/malq.19960420132","volume":"42","author":"Q. Zhou","year":"1996","unstructured":"Q. Zhou Computability of closed and open sets in Euclidean space, Math. Log. Quart. 42 (1996), 379\u2013409.","journal-title":"Math. Log. Quart"}],"container-title":["Lecture Notes in Computer Science","Computing and Combinatorics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-68535-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T09:54:23Z","timestamp":1589882063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-68535-9_22"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648246","9783540685357"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-68535-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"4 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}