{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:02Z","timestamp":1725456542726},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540115762"},{"type":"electronic","value":"9783540393085"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"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":[[1982]]},"DOI":"10.1007\/bfb0012762","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:00:52Z","timestamp":1132750852000},"page":"116-127","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Approximations of infinitary objects"],"prefix":"10.1007","author":[{"given":"G.","family":"Comyn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dauchet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"key":"11_CR1","unstructured":"G. BIRKOFF LATTICE THEORY 3rd Ed., NEW YORK, 1967"},{"key":"11_CR2","first-page":"285","volume":"20","author":"L. Boasson","year":"1980","unstructured":"L. BOASSON, M. NIVAT ADHERENCES OF LANGUAGES JCSS 20, 1980, pp. 285\u2013309","journal-title":"JCSS"},{"key":"11_CR3","unstructured":"G. COMYN OBJETS INFINIS CALCULABLES THESE D'ETAT, LILLE, Mars 1982"},{"key":"11_CR4","unstructured":"G. COMYN, M. DAUCHET OBJETS INFINITAIRES \u2014 APPROXIMATIONS DANS LES CPO's, ET DANS LES ESPACES METRIQUES Colloque A.F.C.E.T. \u201cLES MATHEMATIQUES DE L'INFORMATIQUE\u201d, 16\u201318 Mars 1982, PARIS"},{"key":"11_CR5","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"P.M. COHN UNIVERSAL ALGEBRA Harper and Row, NEW YORK, 1965"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/0304-3975(76)90029-3","volume":"2","author":"H. Egli","year":"1976","unstructured":"H. EGLI, R. CONSTABLE COMPUTABILITY CONCEPTS FOR PROGRAMMING LANGUAGES TCS 2, 1976, pp. 98\u2013105","journal-title":"TCS"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"G. GIERZ, K.H. HOFMANN, K. KEIMEL, J.D. LAWSON, M. MISLOVE, D.S. SCOTT A COMPENDIUM OF CONTINUOUS LATTICES Springer Verlag, 1980","DOI":"10.1007\/978-3-642-67678-9"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"A. KANDA FULLY EFFECTIVE SOLUTIONS Of RECURSIVE DOMAIN EQUATIONS Math. Foundations of Computer Science, 1979, OLOMOUC, Lecture Notes in Computer Science, n\u2134 74, pp. 326\u2013336","DOI":"10.1007\/3-540-09526-8_30"},{"key":"11_CR9","unstructured":"D. LACOMBE QUELQUES PROCEDES DE DEFINITION EN TOPOLOGIE RECURSIVE Constructivity in Mathematics, Proc. of the Colloquium Held at AMSTERDAM, 1957 Studies in Logic and the foundations of Mathematics, 1959, pp. 129\u2013158"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","volume":"LV","author":"Y. Moschovakis","year":"1964","unstructured":"Y. MOSCHOVAKIS RECURSIVE METRIC SPACES Fundamenta Mathematicae, LV, 1964, pp. 215\u2013238","journal-title":"Fundamenta Mathematicae"},{"key":"11_CR11","unstructured":"M. NIVAT INFINITE WORDS, INFINITE TREES, INFINITE COMPUTATIONS Foundations of Computer Science III Part 2: Languages, Logic, Semantics J.W. De Bakker (Ed.), J. Van Leeuwen (Ed.) Mathematical Centre Tract, 1979, pp. 1\u201352"},{"key":"11_CR12","first-page":"209","volume":"17","author":"G. Plotkin","year":"1978","unstructured":"G. PLOTKIN T\u03c9 AS a UNIVERSAL DOMAIN JCSS 17, 1978, pp. 209\u2013236","journal-title":"JCSS"},{"key":"11_CR13","unstructured":"G. PLOTKIN Personal Comunication, LILLE, Mars 1982"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"G. PLOTKIN A POWERDOMAIN CONSTRUCTION SIAM. J. Comput. 5 (Sept. 1976), pp. 452\u2013487","journal-title":"SIAM. J. Comput."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"E. SCIORE, A. TANG COMPUTABILITY THEORY IN ADMISSIBLE DOMAIN Proc. of the 10 th ACM Symp. on the Theory of Computing SAN DIEGO, California, Mai 1978, pp. 95\u2013104","DOI":"10.1145\/800133.804337"},{"key":"11_CR16","volume-title":"Symposium on formal Semantics of Programming Languages","author":"D. Scott","year":"1970","unstructured":"D. SCOTT LATTICE THEORY, DATA TYPES AND SEMANTICS Symposium on formal Semantics of Programming Languages Ed. by RANDALL RUSTIN, Sept. 1970 Prentice Hall, Inc. ENGLEWOOD CLIFFS, New Jersey"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. Smyth","year":"1977","unstructured":"M. SMYTH EFFECTIVELY GIVEN DOMAINS Theoretical Computer Science 5, 1977, pp. 257\u2013274","journal-title":"Theoretical Computer Science"},{"key":"11_CR18","unstructured":"K. WEIHRAUCH, U. SCHREIBER METRIC SPACES DEFINED BY WEIGHTED ALGEBRAIC CPO's FCT 79, Math. Research, Akademic Verlag, pp. 516\u2013522"},{"key":"11_CR19","unstructured":"G. WERNER REPRESENTATION OF EFFECTIVELY COMPUTABLE LIMITS Technical Report IT, LILLE-I, n\u2134 IT-3081"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012762","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:57:15Z","timestamp":1558270635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0012762","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}