{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T11:02:02Z","timestamp":1780743722019,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705826","type":"print"},{"value":"9783540705833","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70583-3_21","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"246-257","source":"Crossref","is-referenced-by-count":52,"title":["Duality and Equational Theory of Regular Languages"],"prefix":"10.1007","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Serge","family":"Grigorieff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-\u00c9ric","family":"Pin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/BF02945121","volume":"3","author":"M.E. Adams","year":"1973","unstructured":"Adams, M.E.: The Frattini sublattice of a distributive lattice. Alg. Univ.\u00a03, 216\u2013228 (1973)","journal-title":"Alg. Univ."},{"key":"21_CR2","first-page":"313","volume":"46","author":"J. Almeida","year":"1989","unstructured":"Almeida, J.: Residually finite congruences and quasi-regular subsets in uniform algebras. Partugali\u00e6 Mathematica\u00a046, 313\u2013328 (1989)","journal-title":"Partugali\u00e6 Mathematica"},{"key":"21_CR3","volume-title":"Finite semigroups and universal algebra","author":"J. Almeida","year":"1994","unstructured":"Almeida, J.: Finite semigroups and universal algebra. World Scientific Publishing Co. Inc., River Edge (1994)"},{"key":"21_CR4","series-title":"NATO Sci. Ser. II Math. Phys. Chem.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/1-4020-3817-8_1","volume-title":"Structural theory of automata, semigroups, and universal algebra","author":"J. Almeida","year":"2005","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Structural theory of automata, semigroups, and universal algebra. NATO Sci. Ser. II Math. Phys. Chem., vol.\u00a0207, pp. 1\u201345. Springer, Dordrecht (2005); Notes taken by Alfredo Costa"},{"issue":"2","key":"21_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1142\/S0219498803000519","volume":"2","author":"J. Almeida","year":"2003","unstructured":"Almeida, J., Volkov, M.V.: Profinite identities for finite semigroups whose subgroups belong to a given pseudovariety. J. Algebra Appl.\u00a02(2), 137\u2013163 (2003)","journal-title":"J. Algebra Appl."},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proc. Cambridge Phil. Soc.\u00a031, 433\u2013454 (1935)","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"21_CR7","volume-title":"Automata, languages, and machines","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, languages, and machines, vol.\u00a0B. Academic Press [Harcourt Brace Jovanovich Publishers], New York (1976)"},{"key":"21_CR8","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 products of monoids with distinguished generators. In: Ito, M., Toyama, M. (eds.) DLT 2002. LNCS, vol.\u00a02450, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R. Goldblatt","year":"1989","unstructured":"Goldblatt, R.: Varieties of complex algebras. Ann. Pure App. Logic\u00a044, 173\u2013242 (1989)","journal-title":"Ann. Pure App. Logic"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1051\/ita:2003018","volume":"37","author":"M. Kunc","year":"2003","unstructured":"Kunc, M.: Equational description of pseudovarieties of homomorphisms. Theoretical Informatics and Applications\u00a037, 243\u2013254 (2003)","journal-title":"Theoretical Informatics and Applications"},{"key":"21_CR11","first-page":"80","volume":"39","author":"J.-E. Pin","year":"1995","unstructured":"Pin, J.-E.: A variety theorem without complementation. Russian Mathematics (Iz. VUZ)\u00a039, 80\u201390 (1995)","journal-title":"Russian Mathematics (Iz. VUZ)"},{"key":"21_CR12","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                      $\\mathcal C$\n                    -varieties. Theoret. Informatics Appl.\u00a039, 239\u2013262 (2005)","journal-title":"Theoret. Informatics Appl."},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BF01243597","volume":"35","author":"J.-\u00c9. Pin","year":"1996","unstructured":"Pin, J.-\u00c9., Weil, P.: A Reiterman theorem for pseudovarieties of finite first-order structures. Algebra Universalis\u00a035, 577\u2013595 (1996)","journal-title":"Algebra Universalis"},{"issue":"2","key":"21_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02679444","volume":"30","author":"N. Pippenger","year":"1997","unstructured":"Pippenger, N.: Regular languages and Stone duality. Theory Comput. Syst.\u00a030(2), 121\u2013134 (1997)","journal-title":"Theory Comput. Syst."},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/3-540-44683-4_53","volume-title":"Mathematical Foundations of Computer Science 2001","author":"L. Pol\u00e1k","year":"2001","unstructured":"Pol\u00e1k, L.: Syntactic semiring of a language. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol.\u00a02136, pp. 611\u2013620. Springer, Heidelberg (2001)"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc.\u00a02, 186\u2013190 (1970)","journal-title":"Bull. London Math. Soc."},{"issue":"3-4","key":"21_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s000120050183","volume":"44","author":"N.R. Reilly","year":"2000","unstructured":"Reilly, N.R., Zhang, S.: Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands. Algebra Universalis\u00a044(3-4), 217\u2013239 (2000)","journal-title":"Algebra Universalis"},{"issue":"1","key":"21_CR18","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 Universalis\u00a014(1), 1\u201310 (1982)","journal-title":"Algebra Universalis"},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.2307\/1989664","volume":"40","author":"M. Stone","year":"1936","unstructured":"Stone, M.: The theory of representations for Boolean algebras. Trans. Amer. Math. Soc.\u00a040, 37\u2013111 (1936)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"3","key":"21_CR20","doi-asserted-by":"publisher","first-page":"375","DOI":"10.2307\/1989788","volume":"41","author":"M.H. Stone","year":"1937","unstructured":"Stone, M.H.: Applications of the theory of Boolean rings to general topology. Trans. Amer. Math. Soc.\u00a041(3), 375\u2013481 (1937)","journal-title":"Trans. Amer. Math. Soc."},{"key":"21_CR21","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.\u00a02286, pp. 528\u2013538. Springer, Heidelberg (2002)"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1142\/S0218196702000912","volume":"12","author":"P. Weil","year":"2002","unstructured":"Weil, P.: Profinite methods in semigroup theory. Int. J. Alg. Comput.\u00a012, 137\u2013178 (2002)","journal-title":"Int. J. Alg. Comput."},{"key":"21_CR23","first-page":"679","volume-title":"Handbook of language theory, ch. 2","author":"S. Yu","year":"1997","unstructured":"Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of language theory, ch. 2, vol.\u00a01, pp. 679\u2013746. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70583-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:23:31Z","timestamp":1620015811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70583-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705826","9783540705833"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70583-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}