{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:45Z","timestamp":1725490065869},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_7","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:16:50Z","timestamp":1187248610000},"page":"88-103","source":"Crossref","is-referenced-by-count":1,"title":["Groups in Allegories"],"prefix":"10.1007","author":[{"given":"Yasuo","family":"Kawahara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl and G. Schmidt (eds.), Relational methods in computer science. Advances in Computing Science, (Springer, Wien, New York, 1997).","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/3-540-60117-1_12","volume-title":"A graphical calculus","author":"S. Curtis","year":"1995","unstructured":"S. Curtis and G. Lowe, A graphical calculus, Lecture Notes in Computer Science 947 (1995), 214\u2013231."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/10721975_7","volume-title":"Normal forms and reduction for theories of binary relations","author":"D. Dougherty","year":"2000","unstructured":"D. Dougherty and C. Guti\u00e9rrez, Normal forms and reduction for theories of binary relations, Lecture Notes in Computer Science, 1833(2000), 95\u2013109."},{"key":"7_CR4","unstructured":"P. Freyd and A. Scedrov, Categories, allegories (North-Holland, Amsterdam, 1990)."},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0020-0255(99)00020-1","volume":"119","author":"J. Desharnais","year":"1999","unstructured":"J. Desharnais, Monomorphic characterization of n-ary direct products, Information Sciences 119(1999), 275\u2013288.","journal-title":"Information Sciences"},{"key":"7_CR6","unstructured":"W. Kahl and G. Schmidt, Exploring (finite) relation algebras using tools written in Haskell, Technical Report 2000-02, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, October 2000."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-60164-3_19","volume-title":"Relational set theory","author":"Y. Kawahara","year":"1995","unstructured":"Y. Kawahara, Relational set theory, Lecture Notes in Computer Science, 953(1995), 44\u201358."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Y. Kawahara, Lattices in Dedekind categories, In: Orlowska, E. and Szalas, A. (Eds), Relational Methods for Computer Science Applications, Physica-Verlag, 2001, 247\u2013260.","DOI":"10.1007\/978-3-7908-1828-4_15"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the working mathematician, (Springer-Verlag, 1972).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"7_CR10","unstructured":"R. Maddux, On the derivation of identities invloving projection functions, Logic Colloquium\u2019 92, ed. Csirmaz, Gabbay, de Rijke, Center for the Study of Language and Information Publications, Stanford, 1995, 145\u2013163."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"G. Schmidt and T. Str\u00f6hlein, Relations and graphs \u2014 Discrete Mathematics for Computer Scientists \u2014 (Springer-Verlag, 1993).","DOI":"10.1007\/978-3-642-77968-8"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1016\/0022-247X(71)90199-5","volume":"35","author":"A. Rosenfeld","year":"1971","unstructured":"A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl. 35(1971), 512\u2013517.","journal-title":"J. Math. Anal. Appl."}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T21:44:38Z","timestamp":1629582278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}