{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:05:10Z","timestamp":1725584710466},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210693"},{"type":"electronic","value":"9783642210709"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21070-9_25","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T04:02:27Z","timestamp":1307419347000},"page":"347-361","source":"Crossref","is-referenced-by-count":4,"title":["Relational Heterogeneity Relaxed by Subtyping"],"prefix":"10.1007","author":[{"given":"Jaap","family":"van der Woude","sequence":"first","affiliation":[]},{"given":"Stef","family":"Joosten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, T., van der Woude, J.: A relational theory of datatypes (1992), STOP summer school notes, \n                  \n                    http:\/\/www.cs.nott.ac.uk\/~rcb\/papers\/abstract.html#book"},{"issue":"4","key":"25_CR2","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0020-0190(98)00107-0","volume":"67","author":"R.C. Backhouse","year":"1978","unstructured":"Backhouse, R.: Pair algebras and Galois connections. Information Processing Letters\u00a067(4), 169\u2013176 (1978)","journal-title":"Information Processing Letters"},{"volume-title":"Relational methods in computer science. Advances in computing","year":"1997","key":"25_CR3","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational methods in computer science. Advances in computing. Springer, Heidelberg (1997)"},{"key":"25_CR4","volume-title":"Categories, allegories","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, allegories. North-Holland Publishing Co., Amsterdam (1990)"},{"key":"25_CR5","volume-title":"Relation algebras","author":"R. Maddux","year":"2006","unstructured":"Maddux, R.: Relation algebras. Elsevier, Amsterdam (2006)"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.24033\/bsmf.1401","volume":"76","author":"J. Riguet","year":"1948","unstructured":"Riguet, J.: Relations binaires, fermetures, correspondances de Galois. Bull. Soc. Math. France\u00a076, 114\u2013155 (1948)","journal-title":"Bull. Soc. Math. France"},{"key":"25_CR7","volume-title":"Relationen und Grafen","author":"G. Schmidt","year":"1988","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Grafen. Springer, Heidelberg (1988)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-642-21070-9_21","volume-title":"RAMICS 2011","author":"G. Michels","year":"2011","unstructured":"Michels, G., Joosten, S., van der Woude, J., Joosten, S.: Ampersand: Applying Relation Algebra in Practice. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 280\u2013293. Springer, Heidelberg (2011)"},{"issue":"3","key":"25_CR9","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. Journal of Symbolic Logic\u00a06(3), 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21070-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T08:23:37Z","timestamp":1553761417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}