{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:45:13Z","timestamp":1743151513768,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"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_9","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"144-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Class of Representable Semilattice-Ordered Monoids Is Not a Variety"],"prefix":"10.1007","author":[{"given":"Amina","family":"Doumane","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/BF01225472","volume":"33","author":"H Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., Bredikhin, D.: The equational theory of union-free algebras of relations. Algebra Universalis 33(4), 516\u2013532 (1995). https:\/\/doi.org\/10.1007\/BF01225472","journal-title":"Algebra Universalis"},{"doi-asserted-by":"publisher","unstructured":"Andr\u00e9ka, H., Mikul\u00e1s, S.: Axiomatizability of positive algebras of binary relations. Algebra universalis 66(7) (2011). An erratum appears at http:\/\/www.dcs.bbk.ac.uk\/~szabolcs\/AM-AU-err6.pdf. https:\/\/doi.org\/10.1007\/s00012-011-0142-3","key":"9_CR2","DOI":"10.1007\/s00012-011-0142-3"},{"unstructured":"Cosme-Ll\u00f3pez, E., Pous, D.: K4-free graphs as a free algebra. In: Larsen, K.G., Bodlaender, H.L., Raskin, J. (eds.) 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aalborg, Denmark, 21\u201325 August 2017. LIPIcs, vol. 83, pp. 76:1\u201376:14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2017). https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2017.76","key":"9_CR3"},{"doi-asserted-by":"publisher","unstructured":"Doumane, A.: Graph characterization of the universal theory of relations. Working paper or preprint, May 2021. https:\/\/hal.archives-ouvertes.fr\/hal-03226221, https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2021.11","key":"9_CR4","DOI":"10.4230\/LIPIcs.MFCS.2021.11"},{"doi-asserted-by":"publisher","unstructured":"Doumane, A., Pous, D.: Non axiomatisability of positive relation algebras with constants, via graph homomorphisms. In: Konnov, I., Kov\u00e1cs, L. (eds.) 31st International Conference on Concurrency Theory, CONCUR 2020, (Virtual Conference), Vienna, Austria, 1\u20134 September 2020. LIPIcs, vol. 171, pp. 29:1\u201329:16. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.29","key":"9_CR5","DOI":"10.4230\/LIPIcs.CONCUR.2020.29"},{"unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories (1990)","key":"9_CR6"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S1079898600004339","volume":"9","author":"R Hirsch","year":"2003","unstructured":"Hirsch, R., Hodkinson, I.: Relation algebras by games. Bull. Symb. Log. 9(4), 515\u2013520 (2003)","journal-title":"Bull. Symb. Log."},{"doi-asserted-by":"publisher","unstructured":"Hirsch, R., Mikulas, S.: Representable semilattice-ordered monoids. Algebra universalis (2007). https:\/\/doi.org\/10.1007\/s00012-007-2055-8","key":"9_CR8","DOI":"10.1007\/s00012-007-2055-8"},{"unstructured":"Mikul\u00e1s, S.: http:\/\/www.dcs.bbk.ac.uk\/~szabolcs\/AM-AU-err6.pdf","key":"9_CR9"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"31","author":"D Monk","year":"1964","unstructured":"Monk, D.: On representable relation algebras. Michigan Math. J. 31(3), 207\u2013210 (1964). https:\/\/doi.org\/10.1307\/mmj\/1028999131","journal-title":"Michigan Math. J."},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symb. Log. 6(3), 73\u201389 (1941)","journal-title":"J. Symb. Log."},{"doi-asserted-by":"crossref","unstructured":"Tarski, A.: Contributions to the theory of models. III (1954)","key":"9_CR12","DOI":"10.1016\/S1385-7258(54)50074-0"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:48:56Z","timestamp":1634863736000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_9","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"}}]}}