{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:17:32Z","timestamp":1760203052098,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319986531"},{"type":"electronic","value":"9783319986548"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-319-98654-8_13","type":"book-chapter","created":{"date-parts":[[2018,8,4]],"date-time":"2018-08-04T19:43:57Z","timestamp":1533411837000},"page":"156-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Inequalities for One-Step Products"],"prefix":"10.1007","author":[{"given":"M\u00e1rio J. J.","family":"Branco","sequence":"first","affiliation":[]},{"given":"Jean-\u00c9ric","family":"Pin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,5]]},"reference":[{"key":"13_CR1","first-page":"313","volume":"46","author":"J Almeida","year":"1989","unstructured":"Almeida, J.: Residually finite congruences and quasi-regular subsets in uniform algebras. Portugali\u00e6 Mathematica 46, 313\u2013328 (1989)","journal-title":"Portugali\u00e6 Mathematica"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific Publishing Co. Inc., River Edge (1994). Translated from the 1992 Portuguese original and revised by the author","DOI":"10.1142\/9789812831644"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/j.jpaa.2008.08.009","volume":"213","author":"J Almeida","year":"2009","unstructured":"Almeida, J., Costa, A.: Infinite-vertex free profinite semigroupoids and symbolic dynamics. J. Pure Appl. Algebra 213(5), 605\u2013631 (2009)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1\u20133","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-4049(96)00083-7","volume":"123","author":"J Almeida","year":"1998","unstructured":"Almeida, J., Weil, P.: Profinite categories and semidirect products. J. Pure Appl. Algebra 123(1\u20133), 1\u201350 (1998)","journal-title":"J. Pure Appl. Algebra"},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8149-3","volume-title":"Topologies on Closed and Closed Convex Sets, Mathematics and its Applications","author":"G Beer","year":"1993","unstructured":"Beer, G.: Topologies on Closed and Closed Convex Sets, Mathematics and its Applications, vol. 268. Kluwer Academic Publishers Group, Dordrecht (1993)"},{"key":"13_CR6","volume-title":"Espaces Topologiques: Fonctions Multivoques, Collection Universitaire de Math\u00e9matiques","author":"C Berge","year":"1959","unstructured":"Berge, C.: Espaces Topologiques: Fonctions Multivoques, Collection Universitaire de Math\u00e9matiques, vol. III. Dunod, Paris (1959)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1007\/3-540-57887-0_127","volume-title":"Theoretical Aspects of Computer Software","author":"MM Bonsangue","year":"1994","unstructured":"Bonsangue, M.M., Kok, J.N.: Relating multifunctions and predicate transformers through closure operators. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 822\u2013843. Springer, Heidelberg (1994). \n                    https:\/\/doi.org\/10.1007\/3-540-57887-0_127"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-02930-1_10","volume-title":"Automata, Languages and Programming","author":"MJJ Branco","year":"2009","unstructured":"Branco, M.J.J., Pin, J.-\u00c9.: Equations defining the polynomial closure of a lattice of regular languages. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 115\u2013126. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02930-1_10"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0022-0000(71)80006-5","volume":"5","author":"JA Brzozowski","year":"1971","unstructured":"Brzozowski, J.A., \u010cul\u00edk II, K., Gabrielian, A.: Classification of noncounting events. J. Comput. Syst. Sci. 5, 41\u201353 (1971)","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0022-0000(93)90005-H","volume":"46","author":"J Cohen","year":"1993","unstructured":"Cohen, J., Perrin, D., Pin, J.-\u00c9.: On the expressive power of temporal logic for finite words. J. Comput. Syst. Sci. 46, 271\u2013294 (1993)","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR11","volume-title":"Automata, Languages and Machines","author":"S Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol. B. Academic Press, New York (1976)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-45005-X_4","volume-title":"Developments in Language Theory","author":"Z \u00c9sik","year":"2003","unstructured":"\u00c9sik, Z.: Extended temporal logic on finite words and wreath product of monoids with distinguished generators. In: Ito, M., Toyama, M. (eds.) DLT 2002. LNCS, vol. 2450, pp. 43\u201358. Springer, Heidelberg (2003). \n                    https:\/\/doi.org\/10.1007\/3-540-45005-X_4"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-70583-3_21","volume-title":"Automata, Languages and Programming","author":"M Gehrke","year":"2008","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.-\u00c9.: Duality and equational theory of regular languages. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 246\u2013257. Springer, Heidelberg (2008). \n                    https:\/\/doi.org\/10.1007\/978-3-540-70583-3_21"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-14162-1_13","volume-title":"Automata, Languages and Programming","author":"M Gehrke","year":"2010","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.-\u00c9.: A topological approach to recognition. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 151\u2013162. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-14162-1_13"},{"issue":"Part A","key":"13_CR15","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.tcs.2015.08.007","volume":"610","author":"M Gehrke","year":"2016","unstructured":"Gehrke, M., Krebs, A., Pin, J.-\u00c9.: Ultrafilters on words for a fragment of logic. Theor. Comput. Sci. 610(Part A), 37\u201358 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR16","unstructured":"Gehrke, M., Petri\u015fan, D., Reggio, L.: The Sch\u00fctzenberger product for syntactic spaces. In: Leibniz International Proceedings Information 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, p. 112, Article no. 14. LIPIcs, Schloss Dagstuhl, Leibniz-Zent, Information, Wadern (2016)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E Michael","year":"1951","unstructured":"Michael, E.: Topologies on spaces of subsets. Trans. Amer. Math. Soc. 71, 152\u2013182 (1951)","journal-title":"Trans. Amer. Math. Soc."},{"key":"13_CR18","unstructured":"Pin, J.-\u00c9.: Vari\u00e9t\u00e9s de langages et vari\u00e9t\u00e9s de semigroupes, th\u00e8se d\u2019\u00e9tat. Universit\u00e9 Paris VI (1981)"},{"key":"13_CR19","first-page":"80","volume":"39","author":"J-\u00c9 Pin","year":"1995","unstructured":"Pin, J.-\u00c9.: A variety theorem without complementation. Russ. Math. (Izvestija vuzov. Matematika) 39, 80\u201390 (1995)","journal-title":"Russ. Math. (Izvestija vuzov. Matematika)"},{"key":"13_CR20","unstructured":"Pin, J.-\u00c9.: Profinite methods in automata theory. In: Albers, S., Marion, J.-Y. (eds.) 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), pp. 31\u201350, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2009)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"1227","DOI":"10.1142\/S0129054112400497","volume":"23","author":"J-\u00c9 Pin","year":"2012","unstructured":"Pin, J.-\u00c9.: Equational descriptions of languages. Int. J. Found. Comput. Sci. 23, 1227\u20131240 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-319-57418-9_2","volume-title":"Relational and Algebraic Methods in Computer Science","author":"J-\u00c9 Pin","year":"2017","unstructured":"Pin, J.-\u00c9.: Dual space of a lattice as the completion of a pervin space. In: H\u00f6fner, P., Pous, D., Struth, G. (eds.) RAMICS 2017. LNCS, vol. 10226, pp. 24\u201340. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-57418-9_2"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"5651","DOI":"10.1081\/AGB-120016004","volume":"30","author":"J-\u00c9 Pin","year":"2002","unstructured":"Pin, J.-\u00c9., Pinguet, A., Weil, P.: Ordered categories and ordered semigroups. Commun. Algebra 30, 5651\u20135675 (2002)","journal-title":"Commun. Algebra"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.tcs.2005.03.029","volume":"340","author":"J-\u00c9 Pin","year":"2005","unstructured":"Pin, J.-\u00c9., Silva, P.V.: A topological approach to transductions. Theor. Comput. Sci. 340, 443\u2013456 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1051\/ita:2005014","volume":"39","author":"J-\u00c9 Pin","year":"2005","unstructured":"Pin, J.-\u00c9., Straubing, H.: Some results on \n                    \n                      \n                    \n                    $$\\cal{C}$$\n                  -varieties. Theor. Inform. Appl. 39, 239\u2013262 (2005)","journal-title":"Theor. Inform. Appl."},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1006\/jabr.1996.0192","volume":"182","author":"J-\u00c9 Pin","year":"1996","unstructured":"Pin, J.-\u00c9., Weil, P.: Profinite semigroups, Mal\u2019cev products and identities. J. Algebra 182, 604\u2013626 (1996)","journal-title":"J. Algebra"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02679467","volume":"30","author":"J-\u00c9 Pin","year":"1997","unstructured":"Pin, J.-\u00c9., Weil, P.: Polynomial closure and unambiguous product. Theory Comput. Syst. 30, 1\u201339 (1997)","journal-title":"Theory Comput. Syst."},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"5677","DOI":"10.1081\/AGB-120016005","volume":"30","author":"J-\u00c9 Pin","year":"2002","unstructured":"Pin, J.-\u00c9., Weil, P.: The wreath product principle for ordered semigroups. Commun. Algebra 30, 5677\u20135713 (2002)","journal-title":"Commun. Algebra"},{"issue":"1","key":"13_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J Reiterman","year":"1982","unstructured":"Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Univ. 14(1), 1\u201310 (1982)","journal-title":"Algebra Univ."},{"key":"13_CR30","series-title":"Springer Monographs in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/b104443","volume-title":"The $$q$$ -Theory of Finite Semigroups","author":"J Rhodes","year":"2009","unstructured":"Rhodes, J., Steinberg, B.: The \n                    \n                      \n                    \n                    $$q$$\n                  -Theory of Finite Semigroups. Springer Monographs in Mathematics. Springer, New York (2009). \n                    https:\/\/doi.org\/10.1007\/b104443"},{"issue":"3","key":"13_CR31","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0022-4049(89)90137-0","volume":"62","author":"J Rhodes","year":"1989","unstructured":"Rhodes, J., Tilson, B.: The kernel of monoid morphisms. J. Pure Appl. Algebra 62(3), 227\u2013268 (1989)","journal-title":"J. Pure Appl. Algebra"},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M-P Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.-P.: On finite monoids having only trivial subgroups. Inform. Control 8, 190\u2013194 (1965)","journal-title":"Inform. Control"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Automata, Languages and Programming","author":"MB Smyth","year":"1983","unstructured":"Smyth, M.B.: Power domains and predicate transformers: a topological view. In: Diaz, J. (ed.) ICALP 1983. LNCS, vol. 154, pp. 662\u2013675. Springer, Heidelberg (1983). \n                    https:\/\/doi.org\/10.1007\/BFb0036946"},{"issue":"6","key":"13_CR34","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1142\/S021819670300150X","volume":"13","author":"B Steinberg","year":"2003","unstructured":"Steinberg, B., Tilson, B.: Categories as algebra, II. Int. J. Algebra Comput. 13(6), 627\u2013703 (2003)","journal-title":"Int. J. Algebra Comput."},{"issue":"3","key":"13_CR35","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0022-4049(79)90025-2","volume":"15","author":"H Straubing","year":"1979","unstructured":"Straubing, H.: Aperiodic homomorphisms and the concatenation product of recognizable sets. J. Pure Appl. Algebra 15(3), 319\u2013327 (1979)","journal-title":"J. Pure Appl. Algebra"},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/3-540-45995-2_46","volume-title":"LATIN 2002: Theoretical Informatics","author":"H Straubing","year":"2002","unstructured":"Straubing, H.: On logical descriptions of regular languages. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 528\u2013538. Springer, Heidelberg (2002). \n                    https:\/\/doi.org\/10.1007\/3-540-45995-2_46"},{"issue":"1\u20133","key":"13_CR37","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BF02572486","volume":"28","author":"D Th\u00e9rien","year":"1984","unstructured":"Th\u00e9rien, D.: A language theoretic interpretation of the Sch\u00fctzenberger representations with applications to certain varieties of languages. Semigroup Forum 28(1\u20133), 235\u2013248 (1984)","journal-title":"Semigroup Forum"},{"issue":"1\u20132","key":"13_CR38","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0022-4049(87)90108-3","volume":"48","author":"B Tilson","year":"1987","unstructured":"Tilson, B.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48(1\u20132), 83\u2013198 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0304-3975(90)90019-E","volume":"76","author":"P Weil","year":"1990","unstructured":"Weil, P.: Products of languages with counter. Theor. Comput. Sci. 76, 251\u2013260 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR40","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/0022-0000(92)90029-I","volume":"45","author":"P Weil","year":"1992","unstructured":"Weil, P.: Closure of varieties of languages under products with counter. J. Comput. Syst. Sci. 45, 316\u2013339 (1992)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98654-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T04:36:03Z","timestamp":1558326963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98654-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98654-8_13","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":"5 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DLT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Developments in Language Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tokyo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","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":"10 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dlt2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/dlt2018.uec.ac.jp\/","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":"84","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"39","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":"46% - 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":"3,1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"11,4","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"}}]}}