{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:46Z","timestamp":1761596986578,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_9","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"135-147","source":"Crossref","is-referenced-by-count":7,"title":["Topological Representation of Contact Lattices"],"prefix":"10.1007","author":[{"given":"Ivo","family":"D\u00fcntsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"1","volume":"61","author":"G. Allwein","year":"2001","unstructured":"Allwein, G., MacCaull, W.: A Kripke semantics for the logic of Gelfand quantales. Studia Logica\u00a061, 1\u201356 (2001)","journal-title":"Studia Logica"},{"key":"9_CR2","volume-title":"Distributive Lattices.","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"issue":"2","key":"9_CR3","doi-asserted-by":"crossref","first-page":"397","DOI":"10.2140\/pjm.1974.51.397","volume":"51","author":"W.H. Cornish","year":"1974","unstructured":"Cornish, W.H.: Crawley\u2019s completion of a conditionally upper continuous lattice. Pac. J. Math.\u00a051(2), 397\u2013405 (1974)","journal-title":"Pac. J. Math."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dimov, G., Vakarelov, D.: Contact algebras and region\u2013based theory of space: A proximity approach. Fundamenta Informaticae (2006) (to appear)","DOI":"10.3233\/FUN-2006-742-304"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11734673_1","volume-title":"Relational Methods in Computer Science","author":"G. Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Topological Representation of Precontact algebras. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"9_CR6","unstructured":"D\u00fcntsch, I., Vakarelov, D.: Region\u2013based theory of discrete spaces: A proximity approach. Discrete Applied Mathematics (2006) (to appear)"},{"key":"9_CR7","unstructured":"D\u00fcntsch, I., Winter, M.: Lattices of contact relations (2005) (Preprint)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I. D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theoretical Computer Science (B)\u00a0347, 498\u2013512 (2005)","journal-title":"Theoretical Computer Science (B)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11734673_6","volume-title":"Relational Methods in Computer Science","author":"I. D\u00fcntsch","year":"2006","unstructured":"D\u00fcntsch, I., Winter, M.: Weak contact structures. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 73\u201382. Springer, Heidelberg (2006)"},{"key":"9_CR10","unstructured":"Engelking, R.: General topology, PWN (1977)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11734673_14","volume-title":"Relational Methods in Computer Science","author":"W. MacCaull","year":"2006","unstructured":"MacCaull, W., Vakarelov, D.: Lattice-based paraconsistent logic. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 173\u2013187. Springer, Heidelberg (2006)"},{"key":"9_CR12","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"Stone, M.: Topological representations of distributive lattices and Brouwerian logics. Casopis Pest. Mat.\u00a067, 1\u201325 (1937)","journal-title":"Casopis Pest. Mat."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/505168.505182","volume-title":"Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001)","author":"D. Vakarelov","year":"2001","unstructured":"Vakarelov, D., D\u00fcntsch, I., Bennett, B.: A note on proximity spaces and connection based mereology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001), pp. 139\u2013150. ACM, New York (2001)"},{"issue":"3-4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"527","DOI":"10.3166\/jancl.12.527-559","volume":"12","author":"D. Vakarelov","year":"2002","unstructured":"Vakarelov, D., Dimov, G., D\u00fcntsch, I., Bennett, B.: A proximity approach to some region-based theory of space. Journal of applied non-classical logics\u00a012(3-4), 527\u2013559 (2002)","journal-title":"Journal of applied non-classical logics"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"112","DOI":"10.2307\/1968717","volume":"39","author":"H. Wallman","year":"1938","unstructured":"Wallman, H.: Lattices and topological spaces. Math. Ann.\u00a039, 112\u2013136 (1938)","journal-title":"Math. Ann."}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T02:59:18Z","timestamp":1736564358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11828563_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}