{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T18:09:36Z","timestamp":1758478176879,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030021481"},{"type":"electronic","value":"9783030021498"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02149-8_12","type":"book-chapter","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T17:25:34Z","timestamp":1538760334000},"page":"184-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["MIX $$\\star $$-Autonomous Quantales and the Continuous Weak Order"],"prefix":"10.1007","author":[{"given":"Maria Jo\u00e3o","family":"Gouveia","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,6]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S1524-0703(03)00004-3","volume":"65","author":"E Andres","year":"2003","unstructured":"Andres, E.: Discrete linear objects in dimension n: the standard model. Graph. Model. 65(1), 92\u2013111 (2003)","journal-title":"Graph. Model."},{"key":"12_CR2","series-title":"LNM","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064579","volume-title":"$$\\star $$-Autonomous Categories","author":"M Barr","year":"1979","unstructured":"Barr, M.: $$\\star $$-Autonomous Categories. LNM, vol. 752. Springer, Heidelberg (1979)"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF01190819","volume":"32","author":"MK Bennett","year":"1994","unstructured":"Bennett, M.K., Birkhoff, G.: Two families of Newman lattices. Algebra Universalis 32(1), 115\u2013144 (1994)","journal-title":"Algebra Universalis"},{"key":"12_CR4","series-title":"CRM Monograph Series","volume-title":"Combinatorics on Words","author":"J Berstel","year":"2009","unstructured":"Berstel, J., Lauve, A., Reutenauer, C., Saliola, F.V.: Combinatorics on Words. CRM Monograph Series, vol. 27. American Mathematical Society, Providence (2009)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-19867-0_4","volume-title":"Discrete Geometry for Computer Imagery","author":"V Berth\u00e9","year":"2011","unstructured":"Berth\u00e9, V., Labb\u00e9, S.: An arithmetic and combinatorial approach to three-dimensional discrete lines. In: Debled-Rennesson, I., Domenjoud, E., Kerautret, B., Even, P. (eds.) DGCI 2011. LNCS, vol. 6607, pp. 47\u201358. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19867-0_4"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-44236-5_7","volume-title":"Lattice Theory: Special Topics and Applications","author":"N Caspard","year":"2016","unstructured":"Caspard, N., Santocanale, L., Wehrung, F.: Algebraic and combinatorial aspects of permutohedra. In: Gr\u00e4tzer, G., Wehrung, F. (eds.) Lattice Theory: Special Topics and Applications, vol. 2, pp. 215\u2013286. Birkh\u00e4user, Cham (2016)"},{"key":"12_CR7","first-page":"85","volume":"3","author":"J Cockett","year":"1997","unstructured":"Cockett, J., Seely, R.: Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories. Theory Appl. Categ. 3, 85\u2013131 (1997)","journal-title":"Theory Appl. Categ."},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/s10587-008-0047-2","volume":"58","author":"P Emanovsk\u00fd","year":"2008","unstructured":"Emanovsk\u00fd, P., Rach\u016fnek, J.: A non commutative generalization of $$\\star $$-autonomous lattices. Czechoslov. Math. J. 58(3), 725\u2013740 (2008)","journal-title":"Czechoslov. Math. J."},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jspi.2005.02.007","volume":"135","author":"L Ferrari","year":"2005","unstructured":"Ferrari, L., Pinzani, R.: Lattices of lattice paths. J. Stat. Plan. Inference 135(1), 77\u201392 (2005)","journal-title":"J. Stat. Plan. Inference"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11907350_3","volume-title":"Discrete Geometry for Computer Imagery","author":"F Feschet","year":"2006","unstructured":"Feschet, F., Reveill\u00e8s, J.-P.: A generic approach for n-dimensional digital lines. In: Kuba, A., Ny\u00fal, L.G., Pal\u00e1gyi, K. (eds.) DGCI 2006. LNCS, vol. 4245, pp. 29\u201340. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11907350_3"},{"issue":"10","key":"12_CR11","first-page":"2177","volume":"216","author":"N Galatos","year":"2012","unstructured":"Galatos, N., Raftery, J.: A category equivalence for odd sugihara monoids and its applications. J. Stat. Plan. Inference 216(10), 2177\u20132192 (2012)","journal-title":"J. Stat. Plan. Inference"},{"key":"12_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G Gierz","year":"1980","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: A Compendium of Continuous Lattices. Springer, Heidelberg (1980). \nhttps:\/\/doi.org\/10.1007\/978-3-642-67678-9"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.4310\/HHA.2003.v5.n2.a5","volume":"5","author":"E Goubault","year":"2003","unstructured":"Goubault, E.: Some geometric perspectives in concurrency theory. Homol. Homotopy Appl. 5(2), 95\u2013136 (2003)","journal-title":"Homol. Homotopy Appl."},{"issue":"309","key":"12_CR14","doi-asserted-by":"publisher","first-page":"0","DOI":"10.1090\/memo\/0309","volume":"51","author":"Andr\u00e9 Joyal","year":"1984","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Am. Math. Soc. 51(309) (1984)","journal-title":"Memoirs of the American Mathematical Society"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Kabil, M., Pouzet, M., Rosenberg, I.G.: Free monoids and generalized metric spaces. Eur. J. Comb. (2018, in press)","DOI":"10.1016\/j.ejc.2018.02.008"},{"key":"12_CR16","unstructured":"Krob, D., Latapy, M. Novelli, J.-C., Phan, H.D., Schwer, S.: Pseudo-permutations I: first combinatorial and lattice properties. In: FPSAC 2001 (2001)"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F. William Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano XLIII, 135\u2013166 (1973)","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11225-005-2979-y","volume":"79","author":"F Paoli","year":"2005","unstructured":"Paoli, F.: $$\\star $$-autonomous lattices. Studia Logica 79(2), 283\u2013304 (2005)","journal-title":"Studia Logica"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.dam.2014.03.010","volume":"183","author":"X Proven\u00e7al","year":"2015","unstructured":"Proven\u00e7al, X., Vuillon, L.: Discrete segments of $$\\mathbf{Z}^{3}$$ constructed by synchronization of words. Discret. Appl. Math. 183, 102\u2013117 (2015)","journal-title":"Discret. Appl. Math."},{"key":"12_CR20","series-title":"Pitman Research Notes in Mathematics Series","volume-title":"Quantales and Their Applications","author":"K Rosenthal","year":"1990","unstructured":"Rosenthal, K.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, New York (1990)"},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s11083-007-9066-0","volume":"24","author":"L Santocanale","year":"2007","unstructured":"Santocanale, L.: On the join depenency relation in multinomial lattices. Order 24(3), 155\u2013179 (2007)","journal-title":"Order"},{"issue":"3","key":"12_CR22","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/j.aam.2013.03.003","volume":"51","author":"L Santocanale","year":"2013","unstructured":"Santocanale, L., Wehrung, F.: Sublattices of associahedra and permutohedra. Adv. Appl. Math. 51(3), 419\u2013445 (2013)","journal-title":"Adv. Appl. Math."},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ejc.2014.06.004","volume":"42","author":"L Santocanale","year":"2014","unstructured":"Santocanale, L., Wehrung, F.: The extended permutohedron on a transitive binary relation. Eur. J. Comb. 42, 179\u2013206 (2014)","journal-title":"Eur. J. Comb."},{"issue":"7","key":"12_CR24","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1142\/S021819671450043X","volume":"24","author":"L Santocanale","year":"2014","unstructured":"Santocanale, L., Wehrung, F.: Lattices of regular closed subsets of closure spaces. Int. J. Algebr. Comput. 24(7), 969\u20131030 (2014)","journal-title":"Int. J. Algebr. Comput."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-44236-5_8","volume-title":"Lattice Theory: Special Topics and Applications","author":"L Santocanale","year":"2016","unstructured":"Santocanale, L., Wehrung, F.: Generalizations of the permutohedron. In: Gr\u00e4tzer, G., Wehrung, F. (eds.) Lattice Theory: Special Topics and Applications, vol. 2, pp. 287\u2013397. Birkh\u00e4user, Cham (2016)"},{"issue":"8","key":"12_CR26","doi-asserted-by":"publisher","first-page":"1959","DOI":"10.4171\/JEMS\/804","volume":"20","author":"L Santocanale","year":"2018","unstructured":"Santocanale, L., Wehrung, F.: The equational theory of the weak Bruhat order on finite symmetric groups. J. Eur. Math. Soc. 20(8), 1959\u20132003 (2018)","journal-title":"J. Eur. Math. Soc."},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.fss.2013.08.009","volume":"256","author":"I Stubbe","year":"2014","unstructured":"Stubbe, I.: An introduction to quantaloid-enriched categories. Fuzzy Sets Syst. 256, 95\u2013116 (2014)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"12_CR28","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11225-006-8311-7","volume":"83","author":"C Tsinakis","year":"2006","unstructured":"Tsinakis, C., Wille, A.M.: Minimal varieties of involutive residuated lattices. Studia Logica 83(1), 407\u2013423 (2006)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02149-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T17:30:20Z","timestamp":1538760620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02149-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030021481","9783030021498"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02149-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"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":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ramics-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"70% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"4.06","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"4.17","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"1 full invited talk","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}