{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:29:52Z","timestamp":1725470992200},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_28","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"417-431","source":"Crossref","is-referenced-by-count":2,"title":["Weak Relational Products"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Categories, Types and Structures","author":"A. Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, Types and Structures. The MIT Press, Cambridge (1991)"},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-1-4471-3227-1_16","volume-title":"Proc. 3rd Int\u2019l Conf. Algebraic Methodology and Software Technology (AMAST\u201993)","author":"R. Berghammer","year":"1994","unstructured":"Berghammer, R., Haeberer, A., Schmidt, G., Veloso, P.A.S.: Comparing two different approaches to products in abstract relation algebra. Algebraic Methodology and Software Technology. In: Proc. 3rd Int\u2019l Conf. Algebraic Methodology and Software Technology (AMAST\u201993), pp. 167\u2013176. Springer, Heidelberg (1994)"},{"issue":"3-4","key":"28_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0020-0255(99)00020-1","volume":"119","author":"J. Desharnais","year":"1999","unstructured":"Desharnais, J.: Monomorphic Characterization of n-ary Direct Products. Information Sciences\u00a0119(3-4), 275\u2013288 (1999)","journal-title":"Information Sciences"},{"key":"28_CR4","unstructured":"Furusawa, H., Kahl, W.: A Study on Symmetric Quotients. Technical Report 1998-06, University of the Federal Armed Forces Munich (1998)"},{"key":"28_CR5","unstructured":"Freyd, P., Scedrov, A.: Categories. Allegories, North-Holland (1990)"},{"key":"28_CR6","first-page":"145","volume-title":"Logic Colloquium 1992","author":"R.D. Maddux","year":"1995","unstructured":"Maddux, R.D.: On the Derivation of Identities involving Projection Functions. In: Csirmaz, G., de Rijke (eds.) Logic Colloquium 1992, pp. 145\u2013163. Center for the Study of Language and Information Publications, Stanford (1995)"},{"key":"28_CR7","first-page":"939","volume":"290","author":"J.P. Olivier","year":"1980","unstructured":"Olivier, J.P., Serrato, D.: Cat\u00e9gories de Dedekind. Morphismes dans les Cat\u00e9gories de Schr\u00f6der. C.R. Acad. Sci. Paris\u00a0290, 939\u2013941 (1980)","journal-title":"Morphismes dans les Cat\u00e9gories de Schr\u00f6der. C.R. Acad. Sci. Paris"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0165-0114(94)00349-C","volume":"72","author":"J.P. Olivier","year":"1995","unstructured":"Olivier, J.P., Serrato, D.: Squares and Rectangles in Relational Categories - Three Cases: Semilattice, Distributive lattice and Boolean Non-unitary. Fuzzy sets and systems\u00a072, 167\u2013178 (1995)","journal-title":"Fuzzy sets and systems"},{"key":"#cr-split#-28_CR9.1","doi-asserted-by":"crossref","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Graphen. Springer, Heidelberg (1989);","DOI":"10.1007\/978-3-642-83608-4"},{"key":"#cr-split#-28_CR9.2","unstructured":"English version: Relations and Graphs. Discrete Mathematics for Computer Scientists. In: EATCS Monographs on Theoret. Comput. Sci., Springer, Heidelberg (1993)"},{"key":"28_CR10","unstructured":"Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, M\u00fcnchen (1998)"},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(91)90030-6","volume":"87","author":"H. Zierer","year":"1991","unstructured":"Zierer, H.: Relation algebraic domain constructions. TCS\u00a087, 163\u2013188 (1991)","journal-title":"TCS"}],"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_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:21Z","timestamp":1619507601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11828563_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}