{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:39Z","timestamp":1762458759699},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046384"},{"type":"electronic","value":"9783642046391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04639-1_6","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T08:37:25Z","timestamp":1257237445000},"page":"73-87","source":"Crossref","is-referenced-by-count":10,"title":["Domain and Antidomain Semigroups"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Jipsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-70594-9_19","volume-title":"Mathematics of Program Construction","author":"J. Desharnais","year":"2008","unstructured":"Desharnais, J., Struth, G.: Modal semirings revisited. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol.\u00a05133, pp. 360\u2013387. Springer, Heidelberg (2008)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-540-79980-1_25","volume-title":"Algebraic Methodology and Software Technology","author":"J. Desharnais","year":"2008","unstructured":"Desharnais, J., Struth, G.: Domain Axioms for a Family of Near-Semirings. In: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 330\u2013345. Springer, Heidelberg (2008)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1215\/S0012-7094-62-02951-4","volume":"29","author":"O. Frink","year":"1962","unstructured":"Frink, O.: Pseudo-complements in semilattices. Duke Mathematics Journal\u00a029, 500\u2013515 (1962)","journal-title":"Duke Mathematics Journal"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1008271805106","volume":"6","author":"M. Hollenberg","year":"1997","unstructured":"Hollenberg, M.: An equational axiomatization of dynamic negation and relational composition. Journal of Logic, Language and Information\u00a06, 381\u2013401 (1997)","journal-title":"Journal of Logic, Language and Information"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/s002330010032","volume":"62","author":"M. Jackson","year":"2001","unstructured":"Jackson, M., Stokes, T.: An invitation to C-semigroups. Semigroup Forum\u00a062, 279\u2013310 (2001)","journal-title":"Semigroup Forum"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"2895","DOI":"10.1081\/AGB-120039272","volume":"32","author":"M. Jackson","year":"2004","unstructured":"Jackson, M., Stokes, T.: Semilattice pseudo-complements on semigroups. Comm. Algebra\u00a032, 2895\u20132918 (2004)","journal-title":"Comm. Algebra"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Jackson, M., Stokes, T.: Partial maps with domain and range: extending Schein\u2019s representation. Comm. Algebra (to appear)","DOI":"10.1080\/00927870802625562"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-540-78913-0_18","volume-title":"Relations and Kleene Algebra in Computer Science","author":"P. Jipsen","year":"2008","unstructured":"Jipsen, P., Struth, G.: The structure of the one-generated free domain semiring. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS\/AKA 2008. LNCS, vol.\u00a04988, pp. 234\u2013242. Springer, Heidelberg (2008)"},{"key":"6_CR9","unstructured":"McCune, W.: Prover9 \/ Mace4 (2007), \n                  \n                    www.prover9.org"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2005.09.069","volume":"351","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: Algebras of modal operators and partial correctness. Theoretical Computer Science\u00a0351, 221\u2013239 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02573019","volume":"1","author":"B.M. Schein","year":"1970","unstructured":"Schein, B.M.: Relation algebras and function semigroups. Semigroup Forum\u00a01, 1\u201362 (1970)","journal-title":"Semigroup Forum"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01351670","volume":"172","author":"B. Schweizer","year":"1967","unstructured":"Schweizer, B., Sklar, A.: Function systems. Math. Annalen\u00a0172, 1\u201316 (1967)","journal-title":"Math. Annalen"},{"key":"6_CR13","unstructured":"Trokhimenko, V.S.: Menger\u2019s function systems, Izv. Vys\u0161. U\u010debn. Zaved. Matematika\u00a011(138), 71\u201378 (in Russian)"}],"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\/978-3-642-04639-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:09:36Z","timestamp":1619766576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04639-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046384","9783642046391"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04639-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}