{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T16:30:27Z","timestamp":1775061027470,"version":"3.50.1"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032224682","type":"print"},{"value":"9783032224699","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22469-9_18","type":"book-chapter","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:46Z","timestamp":1775055466000},"page":"318-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Dual Composition of\u00a0Relations"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winter","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,2]]},"reference":[{"key":"18_CR1","first-page":"341","volume":"1","author":"LH Chin","year":"1951","unstructured":"Chin, L.H., Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras. Univ. California Publ. Math. 1, 341\u2013384 (1951)","journal-title":"Univ. California Publ. Math."},{"key":"18_CR2","unstructured":"Freyd P., Scedrov A.: Categories, allegories. North-Holland Mathematical Library Vol. 39, North-Holland, Amsterdam (1990)"},{"key":"18_CR3","unstructured":"Maddux, R.D.: Relation Algebras. Studies in Logic and the Foundations of Mathematics 150, Elsevier (2006)"},{"key":"18_CR4","unstructured":"Monk, J.D.: Studies in Cylindric Algebras. PhD thesis, Univ. of California (1961)"},{"key":"18_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and graphs","author":"G Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs. Springer, Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science (1993)"},{"key":"18_CR6","unstructured":"Schmidt G.: Relational mathematics. Encyclopedia of Mathematics and Its Applications Vol. 132, Cambridge University Press (2011)"},{"issue":"3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symbol. Logic 6(3), 73\u201389 (1941)","journal-title":"J. Symbol. Logic"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01182250","volume":"18","author":"JC Varlet","year":"1984","unstructured":"Varlet, J.C.: Regularity in double p-algebras. Algebra Univ. 18, 95\u2013105 (1984)","journal-title":"Algebra Univ."},{"key":"18_CR9","unstructured":"Winter M.: Goguen categories \u2013 A categorical approach to $$L$$-fuzzy relations. Trends in Logic Vol. 25, Springer (2007)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"2893","DOI":"10.1016\/j.fss.2008.12.008","volume":"160","author":"M Winter","year":"2009","unstructured":"Winter, M.: Arrow categories. Fuzzy Sets Syst. 160, 2893\u20132909 (2009)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22469-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:47Z","timestamp":1775055467000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22469-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032224682","9783032224699"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22469-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"B\u0119dlewo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}