{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:30Z","timestamp":1725494970777},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656852"},{"type":"electronic","value":"9783540491262"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49126-0_27","type":"book-chapter","created":{"date-parts":[[2007,11,10]],"date-time":"2007-11-10T22:44:17Z","timestamp":1194734657000},"page":"349-360","source":"Crossref","is-referenced-by-count":0,"title":["Computable Partial Solids and Voxels Sets"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Lieutier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,15]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Amadio, R.M., Curien, P.L., Domains and Lambda-Calculi, Cambridge Tracts in Theoretical Computer Science, 1998.","DOI":"10.1017\/CBO9780511983504"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S. Complexity and Real Computation, Springer-Verlag (1998)","DOI":"10.1007\/978-1-4612-0701-6"},{"key":"27_CR3","unstructured":"Brattka, V., Weihrauch, K. Computatbility on subsets of Euclidean Space I: Closed and Compact Subsets To appear in TCS, 1998 http:\/\/www.informatik.fernuni-hagen.de\/cca\/"},{"issue":"number 4","key":"27_CR4","first-page":"367","volume":"11","author":"Y.L. Ershov","year":"1972","unstructured":"Y.L. Ershov, Y. L., Computable functionals of finite types, journal of Algebra and Logic, volume 11, number 4,pages 367\u2013437, 1972.","journal-title":"Computable functionals of finite types, journal of Algebra and Logic"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Edalat, A., Lieutier, A. Foundation for a Computable Solid Modeling, submitted to ACM Solid Modeling 1999, http:\/\/theory.doc.ic.ac.uk:80\/ae\/ .","DOI":"10.1145\/304012.304040"},{"key":"27_CR6","unstructured":"Abbas Edalat, private mail. Departement of Computing, Imperial College, London. http:\/\/theory.doc.ic.ac.uk:80\/ae\/ ."},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A. Edalat","year":"1997","unstructured":"Edalat, A. Domains for computation in mathemetics, physics and exact real arithmetic, Bulletin of Symbolic Logic, volume 3, number 4, page 401\u2013452,1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Edalat, A., Potts, P.J., A new representation for exact real numbers, Electronic Notes in Theoretical Computer Science, volume 6, Proceedings of Mathematical Foundations of Programming Semantics 13, 1997, Available from URL:- http:\/\/www.elsevier.nl\/locate\/entcs\/volume6.html , Elsevier Science B. V.","DOI":"10.1016\/S1571-0661(05)80166-5"},{"key":"27_CR9","unstructured":"Lieutier, A. Repr\u00e9sentation B.Rep et calculabilit\u00e9, Journ\u00e9es modeleurs g\u00e9om\u00e9triques (1997) LMC, IMAG, Universit\u00e9 Joseph Fourrier, BP 53X 38041Grenoble Cedex, France."},{"key":"27_CR10","unstructured":"Lieutier, A. Toward a data type for Solid Modeling based on Domain Theory, Workshop on Computability and Complexity in Analysis, (Brno 98) Informatik Berichte 235, FernUniversitat Hagen, http:\/\/www.informatik.fernuni-hagen.de\/cca\/ ."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Pour-El, M.B., Richards, J.I., Computability in Analysis and Physics, Springer-Verlag (1989).","DOI":"10.1007\/978-3-662-21717-7"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Preparata, F., Shamos, M, Computational Geometry: an introduction\u201d, Springler-Verlag (1985).","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"27_CR13","unstructured":"Requicha, A., Tilove, R., Mathematical Foundations of Constructive Solid Geometry: General Topology of closed Regular Sets, Automata, Languages and Programming, University of Rochester, Rochester, New York, Production Automation Project, March 78."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Requicha, A.G., Representation for Rigid Solids: Theory, Methods, and Systems, Production Automation Project, The University of Rochester, New York, Computer Surveys, volume 12, number 4, 1980","DOI":"10.1145\/356827.356833"},{"key":"27_CR15","unstructured":"Scott, D.S., Outline of a mathematical theory of computation, 4th Annual Princeton Conference on Information Sciences and Systems, pages 169\u2013176, 1970."},{"key":"27_CR16","unstructured":"Weihrauch K., A Simple Introduction to Computable Analysis Informatik Berichte 171-2\/1995-FernUniversit\u00e4t, Gesamthochschule in Hagen, Germany, 1995."}],"container-title":["Lecture Notes in Computer Science","Discrete Geometry for Computer Imagery"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49126-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:22:01Z","timestamp":1556947321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49126-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656852","9783540491262"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-49126-0_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}