{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:50:23Z","timestamp":1762458623377},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789123"},{"type":"electronic","value":"9783540789130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78913-0_18","type":"book-chapter","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T08:13:06Z","timestamp":1207901586000},"page":"234-242","source":"Crossref","is-referenced-by-count":1,"title":["The Structure of the One-Generated Free Domain Semiring"],"prefix":"10.1007","author":[{"given":"Peter","family":"Jipsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"18_CR1","first-page":"174","volume":"10","author":"H. Andr\u00e9ka","year":"1988","unstructured":"Andr\u00e9ka, H.: On the representation problem of distributive semilattice-ordered semigroups. Abstracts of the AMS\u00a010(2), 174 (preprint, 1988)","journal-title":"Abstracts of the AMS"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/BF01190407","volume":"28","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H.: Representations of distributive lattice-ordered semigroups with binary relations. Algebra Universalis\u00a028, 12\u201325 (1991)","journal-title":"Algebra Universalis"},{"key":"18_CR3","first-page":"420","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn., vol.\u00a025, pp. viii+420. AMS Colloquium Publications, AMS (1967)","edition":"3"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/cm-39-1-1-12","volume":"39","author":"D.A. Bredihin","year":"1978","unstructured":"Bredihin, D.A., Schein, B.M.: Representations of ordered semigroups and lattices by binary relations. Colloq. Math.\u00a039, 1\u201312 (1978)","journal-title":"Colloq. Math."},{"issue":"4","key":"18_CR5","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic\u00a07(4), 798\u2013833 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"18_CR6","unstructured":"Desharnais, J., Struth, G.: Modal Semirings Revisited, Research Report CS-08-01, Department of Computer Science, The University of Sheffield (2008)"},{"key":"18_CR7","unstructured":"McCune, W.: Prover9 (2007), \n                  \n                    http:\/\/www.prover9.org"},{"key":"18_CR8","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"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78913-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:37Z","timestamp":1619507017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78913-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789123","9783540789130"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78913-0_18","relation":{},"subject":[]}}