{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:18Z","timestamp":1725467418909},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026990","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:12:36Z","timestamp":1132380756000},"page":"210-219","source":"Crossref","is-referenced-by-count":2,"title":["Effectiveness of the global modulus of continuity on metric spaces"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Weihrauch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xizhong","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"13_CR1","volume-title":"General Topology","author":"R. Engelking","year":"1989","unstructured":"R. Engelking General Topology, Heldermann Verlag, Berlin, 1989."},{"key":"13_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real unctions","author":"K. Ko","year":"1991","unstructured":"Ker-I Ko Complexity Theory of Real unctions, Birkh\u00e4user, Berlin, 1991."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","volume":"38","author":"C. Kreitz","year":"1985","unstructured":"Ch. Kreitz & K. Weihrauch Theory of representations, Theoret. Comput. Sci. 38 (1985), 35\u201353.","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(87)90010-8","volume":"36","author":"C. Kreitz","year":"1987","unstructured":"Ch. Kreitz & K. Weihrauch Compactness in constructive analysis, Annals of Pure and Applied Logic 36 (1987), 29\u201338.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR5","unstructured":"B. A. Kushner Lectures on Constructive Mathematical Analysis. Translations of Mathematical Monographs, Vol. 60, Amer. Math. Soc. 1985."},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"361","DOI":"10.2307\/1969615","volume":"63","author":"E. Michael","year":"1956","unstructured":"E. Michael Continuous selections I, Ann. of Math. 63 (1956), no. 2, 361\u2013382.","journal-title":"Ann. of Math."},{"key":"13_CR7","doi-asserted-by":"crossref","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. SpringerVerlag, Berlin, Heidelberg, 1989."},{"key":"13_CR8","unstructured":"D. Repov\u0161 & P. V. Semenov An application of the theory of selections in analysis. in Proc. Int. Conf. Topol. (Trieste, 1993), G. Gentili, Ed., Rent. Ist. Mat. Univ. Trieste 25(1993), 441\u2013446. Abstract in Abstr. Amer. Math. Soc. 14(1993), 393, No. 93T-54-66."},{"key":"13_CR9","unstructured":"H. Jr. Rogers Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, 1967"},{"key":"13_CR10","unstructured":"W. Rudin Real and Complex Analysis. McGraw-Hill Book Company, 1974."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0304-3975(85)90207-5","volume":"38","author":"K. Weihrauch","year":"1985","unstructured":"K. Weihrauch Type-2 recursion theory. Theoret. Comput. Sci. 38 (1985), 17\u201333.","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR12","series-title":"Computability","volume-title":"EATCS Monographs on Theoretical Computer Secience Vol. 9","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch Computability. EATCS Monographs on Theoretical Computer Secience Vol. 9, Springer-Verlag, Berlin, Heidelberg, 1987."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(93)90001-A","volume":"113","author":"K. Weihrauch","year":"1993","unstructured":"K. Weihrauch Computability on computable metric spaces. Theoret. Comput. Sci. 113 (1993), 191\u2013210.","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR14","unstructured":"K. Weihrauch Effektive Analysis. Lecture Notes for Corresponding Course, Fern-Universit\u00e4t Hagen, 1994."},{"key":"13_CR15","unstructured":"K. Weihrauch A foundation of computable analysis. Computability and Complexity in Analysis, pp25\u201340, Informatik-Berichte Nr. 190, Fern Universit\u00e4t Hagen, 1995"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0168-0072(87)90065-0","volume":"35","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch & Ch. Kreitz Representations of the real numbers and of the open subsets of the real numbers, Annals of Pure and Applied Logic 35 (1987), 247\u2013260.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"K. Weihrauch & X. Zheng Computability on continuous, lower semi-continuous and upper semi-continuous real functions. COCOON'97. Shanghai, China, August 1997.","DOI":"10.1007\/BFb0045083"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:58:08Z","timestamp":1586555888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0026990","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}