{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:05:29Z","timestamp":1725584729549},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_23","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T00:02:27Z","timestamp":1307404947000},"page":"314-330","source":"Crossref","is-referenced-by-count":0,"title":["Constructions around Partialities"],"prefix":"10.1007","author":[{"given":"Gunther","family":"Schmidt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","year":"2004","unstructured":"Berghammer, R., M\u00f6ller, B., Struth, G. (eds.): RelMiCS 2003. LNCS, vol.\u00a03051. Springer, Heidelberg (2004)"},{"key":"23_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61455-2_12","volume-title":"Algebra of Programming","author":"R.S. Bird","year":"1996","unstructured":"Bird, R.S., de Moor, O.: Algebra of Programming. Prentice-Hall, Englewood Cliffs (1996)"},{"doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice Theory, vol.\u00a025. American Mathematical Society Colloquium Publications (1940); third edition, third printing reprinted (1984)","key":"23_CR3","DOI":"10.1090\/coll\/025"},{"unstructured":"de Moor, O.: Categories, Relations and Dynamic Programming. PhD thesis, Oxford University (1992)","key":"23_CR4"},{"unstructured":"Kahl, W., Schmidt, G.: Exploring (Finite) Relation Algebras With Tools Written in Haskell. Tech. Rep. 2000\/02, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, http:\/\/ist.unibw-muenchen.de\/Publications\/TR\/2000-02\/","key":"23_CR5"},{"unstructured":"Offermann, E.: Konstruktion relationaler Kategorien. PhD thesis, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, Der Andere Verlag, Osnabr\u00fcck (2003) ISBN 3-89959-078-3","key":"23_CR6"},{"unstructured":"Offermann, E.: On the Construction of Relational Categories. In: Berghammer and M\u00f6ller [1], pp. 31\u201339","key":"23_CR7"},{"issue":"2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/j.jlap.2005.04.002","volume":"66","author":"G. Schmidt","year":"2006","unstructured":"Schmidt, G.: Partiality I: Embedding Relation Algebras. Journal of Logic and Algebraic Programming\u00a066(2), 212\u2013238 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"23_CR9","volume-title":"Encyclopedia of Mathematics and its Applications","author":"G. Schmidt","year":"2011","unstructured":"Schmidt, G.: Relational Mathematics. In: Encyclopedia of Mathematics and its Applications, vol.\u00a0132. Cambridge University Press, Cambridge (2011)"},{"key":"23_CR10","series-title":"Mathematik f\u00fcr Informatiker","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83608-4","volume-title":"Relationen und Graphen","author":"G. Schmidt","year":"1989","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Graphen. Mathematik f\u00fcr Informatiker. Springer, Heidelberg (1989)"},{"key":"23_CR11","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs \u2013 Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"},{"key":"23_CR12","volume-title":"Trends in Logic","author":"M. Winter","year":"2007","unstructured":"Winter, M.: Goguen Categories \u2013 A categorical approach to L-Fuzzy relations. In: Trends in Logic, vol.\u00a025, Springer, Heidelberg (2007)"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:07:45Z","timestamp":1560244065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}