{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:19Z","timestamp":1725663259950},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_137","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:23:34Z","timestamp":1330169014000},"page":"192-212","source":"Crossref","is-referenced-by-count":4,"title":["A uniform approach to inductive posets and inductive closure"],"prefix":"10.1007","author":[{"given":"J. B.","family":"Wright","sequence":"first","affiliation":[]},{"given":"E. G.","family":"Wagner","sequence":"additional","affiliation":[]},{"given":"J. W.","family":"Thatcher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"15_CR1","unstructured":"(1973) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright \"A junction between computer science and category theory: I, Basic definitions and examples,\" Part 1, IBM Research Report RC 5426, September 1973."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1975","unstructured":"(1975) (JAG, JWT, EGW, JBW) \"Initial algebra semantics and continuous algebras,\" IBM Research Report RC 5701, November 3, 1975. JACM 24 (1977) 68\u201395.","journal-title":"JACM"},{"key":"15_CR3","unstructured":"(1976) (JAG, JWT, EGW, JBW) J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright \"A junction between computer science and category theory: I, Basic definitions and examples,\" Part 2, IBM Research Report RC 5908, March, 1976."},{"key":"15_CR4","unstructured":"Birkhoff, G. (1967) Lattice Theory, Amer. Math. Soc. Colloy. Pub. 25, New York (1948). Revised edition (1967)."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"Stephen L. L. Bloom","year":"1976","unstructured":"Bloom, Stephen L. (1976) \"Varieties of ordered algebras,\" J. Comp. Sys. Sci. 13 (1976) 200\u2013212.","journal-title":"J. Comp. Sys. Sci."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Courcelle, Bruno and Nivat, Maurice (1976) \"Algebraic families of interpretations,\" Proceedings 17th Annual IEEE Symposium on Foundations of Computing, Houston, Texas, October, 1976, pp. 137\u2013146.","DOI":"10.1109\/SFCS.1976.3"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(76)90029-3","volume":"2","author":"H. Egli","year":"1976","unstructured":"Egli, H. and Constable, R. L. (1976) \"Computability concepts for programming language semantics,\" Theoretical Computer Science 2 (1976) 133\u2013145.","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","volume-title":"Category Theory for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S. (1971) Category Theory for the Working Mathematician, Springer-Verlag, New York (1971)."},{"key":"15_CR9","unstructured":"Markowsky, George (1974) \"Categories of chain-complete posets,\" IBM Research Report RC 5100, October, 1974."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1147\/rd.202.0138","volume":"20","author":"G. Markowsky","year":"1976","unstructured":"Markowsky, G. and Rosen, B. K. (1976) \"Bases for chain complete posets,\" IBM J. Res. Dev. 20 (1976) 138\u2013147.","journal-title":"IBM J. Res. Dev."},{"key":"15_CR11","unstructured":"Scott, D. (1970) \"Outline of a mathematical theory of computation,\" Proceedings, 4th Ann. Princeton Conference on Information Sciences and Systems (1970) 169\u2013176."},{"key":"15_CR12","series-title":"Oxford University Computing Laboratory Technical Monograph PRG","first-page":"97","volume-title":"Also, Lecture Notes in Mathematics 274","author":"D. Scott","year":"1971","unstructured":"(1971) \"Continuous lattices,\" Oxford University Computing Laboratory Technical Monograph PRG 7. Also, Lecture Notes in Mathematics 274, Springer-Verlag, Berlin (1971) 97\u2013136."},{"key":"15_CR13","volume-title":"Data types as lattices","author":"D. Scott","year":"1972","unstructured":"(1972) \"Data types as lattices\", Unpublished notes, Amsterdam (1972)."},{"key":"15_CR14","volume-title":"Regular Algebras","author":"J. Tiuryn","year":"1976","unstructured":"Tiuryn, Jerzy (1976) \"Regular Algebras\", (Extended Abstract). Manuscript, Warsaw University (1976)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_137.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:52:08Z","timestamp":1619542328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_137","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}