{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:17:42Z","timestamp":1742955462017,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030887001"},{"type":"electronic","value":"9783030887018"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_29","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"483-498","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Domain Range Semigroups and Finite Representations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7440-8867","authenticated-orcid":false,"given":"Ja\u0161","family":"\u0160emrl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"29_CR1","unstructured":"Andr\u00e9ka, H.: On the representation problem of distributive semilattice-ordered semigroups. In: Mathematical Institute of the Hungarian Academy of Sciences, p. 174 (1988, preprint)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bredihin, D.A., Schein, B.M.: Representations of ordered semigroups and lattices by binary relations. In: Colloquium Mathematicum, vol. 39, pp. 1\u201312. Institute of Mathematics Polish Academy of Sciences (1978)","DOI":"10.4064\/cm-39-1-1-12"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-04639-1_6","volume-title":"Relations and Kleene Algebra in Computer Science","author":"J Desharnais","year":"2009","unstructured":"Desharnais, J., Jipsen, P., Struth, G.: Domain and antidomain semigroups. In: Berghammer, R., Jaoua, A.M., M\u00f6ller, B. (eds.) RelMiCS 2009. LNCS, vol. 5827, pp. 73\u201387. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04639-1_6"},{"key":"29_CR4","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (2012). https:\/\/doi.org\/10.1007\/978-1-4612-3228-5","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"29_CR5","unstructured":"Hirsch, R., Egrot, R.: Meet-completions and representations of ordered domain algebras. J. Symb. Log. (2013)"},{"key":"29_CR6","volume-title":"Relation Algebras by Games","author":"R Hirsch","year":"2002","unstructured":"Hirsch, R., Hodkinson, I.: Relation Algebras by Games. Elsevier, Amsterdam (2002)"},{"issue":"2","key":"29_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.jlap.2010.07.019","volume":"80","author":"R Hirsch","year":"2011","unstructured":"Hirsch, R., Mikul\u00e1s, S.: Axiomatizability of representable domain algebras. J. Logic Algebraic Programm. 80(2), 75\u201391 (2011)","journal-title":"J. Logic Algebraic Programm."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Hirsch, R., Mikul\u00e1s, S., Stokes, T.: The algebra of non-deterministic programs: demonic operators, orders and axioms. arXiv preprint arXiv:2009.12081 (2020)","DOI":"10.1093\/jigpal\/jzab026"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Hirsch, R., \u0160emrl, J.: Demonic lattices and semilattices in relational semigroups with ordinary composition. In: Proceedings of the 36th Annual Symposium on Logic in Computer Science, LICS, Rome, Italy. IEEE (2021)","DOI":"10.1109\/LICS52264.2021.9470509"},{"issue":"2","key":"29_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-021-00718-5","volume":"82","author":"R Hirsch","year":"2021","unstructured":"Hirsch, R., \u0160emrl, J.: Finite representability of semigroups with demonic refinement. Algebra Univers. 82(2), 1\u201314 (2021). https:\/\/doi.org\/10.1007\/s00012-021-00718-5","journal-title":"Algebra Univers."},{"issue":"2","key":"29_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-021-00719-4","volume":"82","author":"R Hirsch","year":"2021","unstructured":"Hirsch, R., Stokes, T.: Axioms for signatures with domain and demonic composition. Algebra Univers. 82(2), 1\u201319 (2021). https:\/\/doi.org\/10.1007\/s00012-021-00719-4","journal-title":"Algebra Univers."},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jlamp.2018.11.002","volume":"103","author":"M Jackson","year":"2019","unstructured":"Jackson, M., Mikul\u00e1s, S.: Domain and range for angelic and demonic compositions. J. Log. Algebraic Meth. Program. 103, 62\u201378 (2019)","journal-title":"J. Log. Algebraic Meth. Program."},{"key":"29_CR13","doi-asserted-by":"publisher","unstructured":"Mikul\u00e1s, S.: Axiomatizability of algebras of binary relations. In: Classical and New Paradigms of Computation and Their Complexity Hierarchies, pp. 187\u2013205. Springer, Cham (2004). https:\/\/doi.org\/10.1007\/978-1-4020-2776-5_11","DOI":"10.1007\/978-1-4020-2776-5_11"},{"issue":"4","key":"29_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s00012-016-0409-9","volume":"76","author":"M Neuzerling","year":"2016","unstructured":"Neuzerling, M.: Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups. Algebra Univers. 76(4), 431\u2013443 (2016). https:\/\/doi.org\/10.1007\/s00012-016-0409-9","journal-title":"Algebra Univers."},{"key":"29_CR15","unstructured":"Rogozin, D.: The finite representation property for representable residuated semigroups. arXiv preprint arXiv:2007.13079 (2020)"},{"issue":"13","key":"29_CR16","first-page":"48","volume":"6","author":"KA Zarecki\u012d","year":"1959","unstructured":"Zarecki\u012d, K.A.: The representation of ordered semigroups by binary relations. Izvestiya Vys\u0161hikh. Uchebnykh. Zavedeni\u0131. Matematika 6(13), 48\u201350 (1959)","journal-title":"Izvestiya Vys\u0161hikh. Uchebnykh. Zavedeni\u0131. Matematika"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T05:55:57Z","timestamp":1673589357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}