{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:24Z","timestamp":1725551964637},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540322030"},{"type":"electronic","value":"9783540322047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11671404_6","type":"book-chapter","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T12:03:57Z","timestamp":1138017837000},"page":"89-104","source":"Crossref","is-referenced-by-count":6,"title":["The Tensor Product as a Lattice of Regular\u00a0Galois\u00a0Connections"],"prefix":"10.1007","author":[{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"first","affiliation":[]},{"given":"Grit","family":"Malik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Hitzler, P., Zhang, G.Q.: Morphisms in context. In: Conceptual Structures: Common Semantics for Sharing Knowledge. In: Proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany (2005), Extended version available at www.aifb.uni-karlsruhe.de\/WBS\/phi\/pub\/KHZ05tr.pdf","DOI":"10.1007\/11524564_15"},{"key":"6_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"6_CR4","unstructured":"Ganter, B.: Relational Galois connections (2004) (unpublished manuscript)"},{"key":"6_CR5","first-page":"381","volume":"7","author":"R. Wille","year":"1991","unstructured":"Wille, R.: Tensor products of complete lattices as closure systems. Contributions to General Algebra\u00a07, 381\u2013386 (1991)","journal-title":"Contributions to General Algebra"},{"key":"6_CR6","volume-title":"Encyclopedia of Mathematics and its Applications","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. In: Encyclopedia of Mathematics and its Applications, vol.\u00a093. Cambridge University Press, Cambridge (2003)"},{"key":"6_CR7","unstructured":"Kr\u00f6tzsch, M.: Morphisms in logic, topology, and formal concept analysis. Master\u2019s thesis, Technische Universit\u00e4t Dresden (2005)"},{"key":"6_CR8","series-title":"Cambridge tracts in theoretical computer science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information flow: the logic of distributed systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information flow: the logic of distributed systems. Cambridge tracts in theoretical computer science, vol.\u00a044. Cambridge University Press, Cambridge (1997)"},{"key":"6_CR9","volume-title":"Stone spaces","author":"P.T. Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone spaces. Cambridge University Press, Cambridge (1982)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039 (1992)","DOI":"10.1145\/147508.147524"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Jung, A., Kegelmann, M., Moshier, M.A.: Multi lingual sequent calculus and coherent spaces. In: Fundamenta Informaticae, vol.\u00a0XX, pp. 1\u201342 (1999)","DOI":"10.3233\/FI-1999-37403"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0166-8641(03)00204-9","volume":"137","author":"M. Ern\u00e9","year":"2004","unstructured":"Ern\u00e9, M.: General Stone duality. Topology and its Applications\u00a0137, 125\u2013158 (2004)","journal-title":"Topology and its Applications"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11671404_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:14Z","timestamp":1605643514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11671404_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540322030","9783540322047"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11671404_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}