{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:14:53Z","timestamp":1725495293651},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421979"},{"type":"electronic","value":"9783540453352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_19","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T12:49:27Z","timestamp":1195044567000},"page":"323-335","source":"Crossref","is-referenced-by-count":1,"title":["Computational Dimension of Topological Spaces"],"prefix":"10.1007","author":[{"given":"Hideki","family":"Tsuiki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"19_CR1","unstructured":"Vasco Brattka and Peter Hertling. Topological properties of real number representations. Theoretical Computer Science, 2000. to appear."},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","volume":"83","author":"J. Blanck","year":"1997","unstructured":"Jens Blanck. Domain representability of metric spaces. Annals of Pure and Applied Logic, 83:225\u2013247, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"19_CR3","volume-title":"Outline of General Topology","author":"R. Engelking","year":"1968","unstructured":"Ryszard Engelking. Outline of General Topology. North-Holland, Amsterdam, 1968."},{"key":"19_CR4","volume-title":"Dimension Theory","author":"R. Engelking","year":"1978","unstructured":"Ryszard Engelking. Dimension Theory. North-Holland, Amsterdam, 1978."},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","volume":"210","author":"A. Edalat","year":"1998","unstructured":"Abbas Edalat and Philipp S\u00fcnderhauf. A domain-theoretic approach to computability on the real line. Theoretical Computer Science, 210(1):73\u201398, 1998.","journal-title":"Theoretical Computer Science"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(99)00036-5","volume":"221","author":"P. D. Gianantonio","year":"1999","unstructured":"Pietro Di Gianantonio. An abstract data type for real numbers. Theoretical Computer Science, 221:295\u2013326, 1999.","journal-title":"Theoretical Computer Science"},{"key":"19_CR7","unstructured":"Witold Hurewicz and Henry Wallman. Dimension Theory. Princeton University Press, 1948."},{"key":"19_CR8","volume-title":"Modern Dimension Theory","author":"J. Nagata","year":"1965","unstructured":"Juniti Nagata. Modern Dimension Theory. North-Holland, Amsterdam, 1965."},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(98)00296-5","volume":"219","author":"V. Stoltenberg-Hansen","year":"1999","unstructured":"Viggo Stoltenberg-Hansen and John V. Tucker. Concrete models of computation for topological algebras. Theoretical Computer Science, 219:347\u2013378, 1999.","journal-title":"Theoretical Computer Science"},{"key":"19_CR10","unstructured":"Hideki Tsuiki. Implementing real number computation in GHC. Computer Software (in Japanese), 2001. to appear."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Hideki Tsuiki. Real number computation through gray code embedding. Theoretical Computer Science, 2001. to appear.","DOI":"10.1016\/S0304-3975(01)00104-9"},{"key":"19_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":"Klaus Weihrauch. Computable Analysis, an Introduction. Springer-Verlag, Berlin, 2000."}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity in Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45335-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T08:12:46Z","timestamp":1556957566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}