{"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":1725663259681},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168164"},{"type":"electronic","value":"9783540448617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16816-8_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:05:32Z","timestamp":1330178732000},"page":"308-323","source":"Crossref","is-referenced-by-count":0,"title":["Modal theory, partial orders, and digital geometry"],"prefix":"10.1007","author":[{"given":"Jonathan D. H.","family":"Smith","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"G. GIERZ et al., \"A Compendium of Continuous Lattices,\" Springer-Verlag, Berlin 1980."},{"key":"18_CR2","unstructured":"M. G. MAIN, Free constructions of powerdomains, this volume."},{"key":"18_CR3","volume-title":"Algebraic Properties of Trees","author":"L. Nebesk\u00fd","year":"1969","unstructured":"L. NEBESK\u00dd, \"Algebraic Properties of Trees\", Acta Universitatis Carolinae-Philogica Monographia XXV, Universita Karlova, Praha 1969."},{"key":"18_CR4","volume-title":"Computer science postgraduate course notes","author":"G. D. Plotkin","year":"1980","unstructured":"G. D. PLOTKIN, Computer science postgraduate course notes (unpublished), University of Edinburgh, Edinburgh 1980."},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0021-8693(81)90244-1","volume":"70","author":"A. B. Romanowska","year":"1981","unstructured":"A. B. ROMANOWSKA and J. D. H. SMITH, Bisemilattices of subsemilattices, J. Alg. 70 (1981), 78\u201388.","journal-title":"J. Alg."},{"key":"18_CR6","volume-title":"Modal Theory","author":"A. B. Romanowska","year":"1985","unstructured":"A. B. ROMANOWSKA and J. D. H. SMITH, \"Modal Theory\", Heldermann-Verlag, Berlin 1985."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16816-8_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:08:38Z","timestamp":1619543318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16816-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168164","9783540448617"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-16816-8_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}