{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:15Z","timestamp":1759637955741},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496299"},{"type":"electronic","value":"9783662496305"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49630-5_31","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T09:04:32Z","timestamp":1458551072000},"page":"531-547","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Profinite Monads, Profinite Equations, and Reiterman\u2019s Theorem"],"prefix":"10.1007","author":[{"given":"Liang-Ting","family":"Chen","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[]},{"given":"Henning","family":"Urbat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-54830-7_24","volume-title":"Foundations of Software Science and Computation Structures","author":"J Ad\u00e1mek","year":"2014","unstructured":"Ad\u00e1mek, J., Milius, S., Myers, R.S.R., Urbat, H.: Generalized Eilenberg theorem I: local varieties of languages. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 366\u2013380. Springer, Heidelberg (2014)"},{"key":"31_CR2","unstructured":"Ad\u00e1mek, J., Milius, S., Urbat, H.: Syntactic monoids in a category. In: Moss, L.S., Sobocinski, P. (eds.) Proceedings of CALCO 2015 (2015)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Myers, R.S.R., Urbat, H., Milius, S.: Varieties of languages in a category. In: Proceedings LICS 2015. IEEE (2015)","DOI":"10.1109\/LICS.2015.46"},{"key":"31_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories","author":"J Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)"},{"issue":"3","key":"31_CR5","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF01190713","volume":"27","author":"J Almeida","year":"1990","unstructured":"Almeida, J.: On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics. Algebra Universalis 27(3), 333\u2013350 (1990)","journal-title":"Algebra Universalis"},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/BF01194543","volume":"17","author":"B Banaschewski","year":"1983","unstructured":"Banaschewski, B.: The Birkhoff theorem for varieties of finite algebras. Algebra Universalis 17(1), 360\u2013368 (1983)","journal-title":"Algebra Universalis"},{"issue":"18","key":"31_CR7","first-page":"461","volume":"10","author":"M Barr","year":"2002","unstructured":"Barr, M.: HSP subcategories of Eilenberg-Moore algebras. Theory Appl. Categ. 10(18), 461\u2013468 (2002)","journal-title":"Theory Appl. Categ."},{"issue":"2","key":"31_CR8","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"SL Bloom","year":"1976","unstructured":"Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci. 13(2), 200\u2013212 (1976)","journal-title":"J. Comput. Syst. Sci."},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-21500-6_1","volume-title":"Developments in Language Theory","author":"M Boja\u0144czyk","year":"2015","unstructured":"Boja\u0144czyk, M.: Recognisable languages over monads. In: Potapov, I. (ed.) DLT 2015. LNCS, vol. 9168, pp. 1\u201313. Springer, Heidelberg (2015). Full version: \n                      http:\/\/arxiv.org\/abs\/1502.04898"},{"key":"31_CR10","unstructured":"Chen, L.T., Urbat, H.: A fibrational approach to automata theory. In: Moss, L.S., Sobocinski, P. (eds.) Proceedings of CALCO 2015 (2015)"},{"key":"31_CR11","volume-title":"Automata, Languages, and Machines","author":"S Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, Languages, and Machines, vol. 2. Academic Press, New York (1976)"},{"key":"31_CR12","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, Part II. LNCS, vol. 5126, pp. 246\u2013257. Springer, Heidelberg (2008)"},{"key":"31_CR13","volume-title":"Subobjects, Adequacy, Completeness and Categories of Algebras","author":"JR Isbell","year":"1964","unstructured":"Isbell, J.R.: Subobjects, Adequacy, Completeness and Categories of Algebras. Instytut Matematyczny Polskiej Akademi Nauk, Warsaw (1964)"},{"key":"31_CR14","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"issue":"1","key":"31_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0022-4049(95)00074-7","volume":"109","author":"PR Jones","year":"1996","unstructured":"Jones, P.R.: Profinite categories, implicit operations and pseudovarieties of categories. J. Pure Appl. Algebr. 109(1), 61\u201395 (1996)","journal-title":"J. Pure Appl. Algebr."},{"issue":"4","key":"31_CR16","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0022-4049(71)90001-6","volume":"1","author":"JF Kennison","year":"1971","unstructured":"Kennison, J.F., Gildenhuys, D.: Equational completion, model induced triples and pro-objects. J. Pure Appl. Algebr. 1(4), 317\u2013346 (1971)","journal-title":"J. Pure Appl. Algebr."},{"key":"31_CR17","series-title":"LNM","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BFb0083080","volume-title":"Seminor on Triples and Categorical Homology Theory","author":"FEJ Linton","year":"1969","unstructured":"Linton, F.E.J.: An outline of functorial semantics. In: Eckmann, B. (ed.) Seminor on Triples and Categorical Homology Theory. LNM, vol. 80, pp. 7\u201352. Springer, Heidelberg (1969)"},{"key":"31_CR18","volume-title":"Categories for the Working Mathematician","author":"SM Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"31_CR19","first-page":"80","volume":"39","author":"JE Pin","year":"1995","unstructured":"Pin, J.E.: A variety theorem without complementation. Russ. Math. (Izvestija vuzov.Matematika) 39, 80\u201390 (1995)","journal-title":"Russ. Math. (Izvestija vuzov.Matematika)"},{"key":"31_CR20","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BF01243597","volume":"35","author":"JE Pin","year":"1996","unstructured":"Pin, J.E., Weil, P.: A Reiterman theorem for pseudovarieties of finite first-order structures. Algebra Universalis 35, 577\u2013595 (1996)","journal-title":"Algebra Universalis"},{"key":"31_CR21","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. 2136, p. 611. Springer, Heidelberg (2001)"},{"issue":"3","key":"31_CR22","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"3","author":"HA Priestley","year":"1972","unstructured":"Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. London Math. Soc. 3(3), 507 (1972)","journal-title":"Proc. London Math. Soc."},{"issue":"1","key":"31_CR23","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 14(1), 1\u201310 (1982)","journal-title":"Algebra Universalis"},{"key":"31_CR24","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/0021-8693(80)90097-6","volume":"66","author":"C Reutenauer","year":"1980","unstructured":"Reutenauer, C.: S\u00e9ries formelles et alg\u00e8bres syntactiques. J. Algebra 66, 448\u2013483 (1980)","journal-title":"J. Algebra"},{"key":"31_CR25","series-title":"A Series of Modern Surveys in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01642-4","volume-title":"Profinite Groups","author":"L Ribes","year":"2010","unstructured":"Ribes, L., Zalesskii, P.: Profinite Groups. A Series of Modern Surveys in Mathematics. Springer, Berlin (2010)"},{"key":"31_CR26","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"MP Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.P.: On finite monoids having only trivial subgroups. Inf. Control 8, 190\u2013194 (1965)","journal-title":"Inf. Control"},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Wilke, T.: An Eilenberg theorem for infinity-languages. In: Proceedings of ICALP 1991, pp. 588\u2013599 (1991)","DOI":"10.1007\/3-540-54233-7_166"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49630-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:08:46Z","timestamp":1585012126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49630-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496299","9783662496305"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49630-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}