{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,5,15]]，“日期时间”：“2024-05-15T20:57:27Z”，“时间戳”：1715806647460}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783662496299”，“类型”：“打印”}，{“值”：“9783662496305”，“type”：“electronic”}]，“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”}]mark-restriction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2016]]}，“DOI”：“10.1007\/978-3662-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\/10007\/springer_crossmark _策略“，”源“：”Crossref“，”is-referenced-by-count“：6，”title“：[“Profinite Monads，Profinite Equations，and Reiterman\u2019s Thermation”]，“prefix”：“10.1007”，“author”：[{“givent”：“Liang-Ting”，“family”：“Chen”，“sequence”：“first”，“affiliation”：[]}，{“fivent”:“Ji\u0159\u00ed”，“fumily”:“Ad\u00e1mek”，“serquence”:“additional”，“ability”：[]}，“given”：“Stefan”，附加“，”从属关系“：[]}，{“given”：“Henning”，“family”：“Urbat”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：”31_CR1“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：”publisher“，”first page“：”366“，”doi“10.1007\/978-3642-54830-7_24”，“volume-title”：”软件科学与计算结构基础“，”author“：“J Ad\u00e1mek”，“year”：“2014”，“unstructured”：“Ad\u001mek，J.，Milius，S.，Myers，R.S.R.，Urbat，H.：广义艾伦伯格定理I：语言的局部变体。收录于：Muscholl，A.（ed.）FOSSACS 2014（ETAPS）。LNCS，第8412卷，第366\u2013380页。Springer，Heidelberg（2014）“}，{“key”：“31_CR2”，“unstructured”：“Ad\u00e1mek，J.，Milius，S.，Urbat，H.：范畴中的句法单体。in:Moss，L.S.，Sobocinski，P.（eds.）Proceedings of CALCO 2015（2015）”}，}，“key“：”31_CR3“doi-asserted-by”：“crossref”，“非结构化”：“Ad\u00e1mek，J.，Myers，R.S.R.，Urbat，H.，Milius，S.：类别中的各种语言。摘自：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.：本地呈现和可访问类别。剑桥大学出版社，剑桥（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.：关于伪变体、语言变体、同调过滤器、伪同一性和相关主题。代数普遍27（3），333\u2013350（1990）“，”杂志标题“：”代数普遍“}，{“问题”：“1”，“关键字”：“31_CR6”，“doi-asserted-by”：“publisher”，“首页”：“360”，“doi”：“10.1007\/BF01194543”，“卷”：“17”，“作者”：“B Banaschewski”，“年份”：“1983”，“非结构化”：“Banaschewski，B.：各种有限代数的Birkhoff定理。《代数普遍》17（1），360\u2013368（1983）“，“期刊标题”：“代数普遍”}，{“问题”：“18”，“关键”：“31_CR7”，“首页”：“461”，“卷”：“10”，“作者”：“M Barr”，“年份”：“2002”，“非结构化”：“Barr，M.：Eilenberg-Moore代数的HSP子范畴。理论应用分类10（18），461\u2013468（2002）”，“期刊名称”：“理论应用分类“}，{”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.：有序代数的种类。J.计算。系统。科学。13（2），200\u2013212（1976）“，“新闻标题”：《计算杂志》。系统。科学。“}，{”key“：”31_CR9“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1007\/978-3319-21500-6_1”，“volume-title”：“语言理论的发展”，“author”：“M Boja\u0144czyk”，“year”：“2015”，“unstructured”：“Boja\u 0144czzyk，M.：monads上的可识别语言。in:Potapov，I.（ed.））DLT 2015。LNCS，第9168卷，第1\u201313页。斯普林格，海德堡（2015）。完整版本：\n http://\/arxiv.org\/abs\/1502.04898“}，{“key”：“31_CR10”，“unstructured”：“Chen，L.T.，Urbat，H.：自动机理论的fibrational方法。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年”，“非结构化”：“Eilenberg，S.：自动化，语言和机器，第2卷。Academic Press，New York（1976）“}，{“key”：“31_CR12”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“246”，“doi”：“10.1007\/978-3-540-70583-3_21”，“volume title”：“自动机、语言与编程”，“author”：“M Gehrke”，“year”：“2008”，“nonstructured”：“Gehrke，M.，Grigorieff，S.，Pin，J.\u00c9.：正则语言的对偶性和等式理论。收录人：Aceto，L.，Damg\u00e5rd，I.，Goldberg，L.A.，Halld\u00f3rsson，M.M.，Ing\u00f3d\u00f3ttir，A.，Walukiewicz，I.（编辑）ICALP 2008，第二部分。LNCS，第5126卷，第246\u2013257页。Springer，Heidelberg（2008）“}，{“key”：“31_CR13”，“volume-title”：“代数的子对象、充分性、完整性和范畴”，“author”：“JR Isbell”，“year”：“1964”，“unstructured”：“Isbell，J.R.：代数的子目标、充分性和范畴。Instytut Matematyczny Polskiej Akademi Nauk，Warsaw（1964）”}，“key“：”31_CR14“volume-title”Stone Spaces”，“author”：“PT Johnstone”，“year”：“1982”，“unstructured”：“Johnstone，P.T.：石头空间。剑桥大学出版社，剑桥（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.：Profinitite categories，implicit operations and pseudo varies of categories.J.Pure Appl.Algebr.109（1），61\u201395（1996）”，“期刊标题”：“J.Pure Appl。阿尔盖布。“}，{”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”：“Kennisor，J.F.，Gildenhuys，D.：等式完成，模型诱导三元组和pro-objects.J.Pure Appl.Algebr.1（4），317\u201334.6（1971）“，“新闻标题”：“J。纯应用程序。阿尔盖布。“}，{”key“：”31_CR17“，”series-title“：”LNM“，”doi-asserted-by“：”publisher“，“first page”：“7”，”doi“：”10.1007\/BFb0083080“，”volume-title“：“三元组上的Seminor和范畴同调理论”，“author”：“FEJ Linton”，“year”：“1969”，“unstructured”：“Linton，F.E.J.：功能语义大纲。In:Eckmann，B.（ed.）塞米诺论三元组和范畴同调理论。LNM，第80卷，第7\u201352页。Springer，Heidelberg（1969）“}，{“key”：“31_CR18”，“volume-title”：“工作数学家的类别”，“author”：“SM Lane”，“year”：“1998”，“unstructured”：“Lane，S.M.：工作数学家类别，第二版。Springer出版社，纽约（1998）”，“edition”：“2”}，[{“密钥”：“31 _CR19”，“首页”：“80”，“卷”：“39”，“作者”：“JE Pin”，“年份”：“1995”，“非结构化”：“Pin，J.E.：一个没有互补的变分定理。俄罗斯数学。（Izvestija vuzov.Matematika）39，80\u201390（1995）“，“新闻标题”：“俄罗斯数学”。（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.：有限一阶结构伪变种的Reiterman定理。代数大学35，577\u2013595（1996）”，“期刊标题”：“”代数普遍“}，{“key”：“31_CR21”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”611“，“doi”：“10.1007\/3-540-44683-4_53”，“volume-title”：”2001“计算机科学数学基础”，“author”：“L Pol\u00e1k”，“year”：“2001”，“unstructured”：“Pol\u00e1k，L.：语言的句法半环。收录人：Sgall，J.、Pultr，A.、Kolman，P.（编辑）MFCS 2001。LNCS，第2136卷，第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.：有序拓扑空间和分配格的表示。Proc.London Math.Soc.3（3），507（1972）“，”journal-title“：”程序。伦敦数学。Soc.“｝，｛“issue”：“1”，“key”：“31_CR23”，“doi asserted by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/BF024383902”，“volume”：“14”，“author”：“J Reiterman”，“year”：“1982”，“nonstructured”：“Reiterman，J.:有限代数的Birkhoff定理。代数Universalis 14（1），1\u201310（1982）”，“journal title”：“代数Universalis”｝，｛“key”：“31_CR22 4英寸，“doi-asserted-by“：”publisher“，”first-page“：”448“，”doi“：”10.1016\/0021-8693（80）90097-6“，”volume“：”66“，”author“：”C Reutenauer“，”year“：”1980“，”unstructured“：”Reutenaue，C.：S\u00e9ries formelles et alg\u00e 8bres语法。J.Algebra 66，448\u2013483（1980）“，”journal-title“：”J.Algerbra“}，{“key”：“31_CR25”，“series-title”：“A series of Modern Surveys in Mathematics”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-01642-4”，“volume-title”：”Profinite Groups“，”author“：”L Ribes“，“year”：“2010”，“unstructured”：“Ribes，L.，Zalesskii，P.：Profinite基团。数学现代调查系列。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\u00 fctzenferger，M.P.：关于只有平凡子群的有限幺半群。Inf.Control 8，190\u2013194（1965）“，”journal-title“：”信息。Control“}，{”key“：”31_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”Wilke，T.：无限语言的艾伦伯格定理。In:Proceedings of ICALP 1991，pp.588\u2013599（1991）“，”doi“：”10.1007\/3-540-54233-7_166“}]，”container-title“：[”计算机科学讲义“，”软件科学和计算结构基础“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3662-49630-5_31“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,3,24]]，”date-time“：“2020-03-24T01:08:46Z”，“timestamp”：1585012126000}，“score”：1，“资源”：{“主”：{“URL”：“http://\/link.springer.com/10.1007\/978-3662-49630-5_31“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2016]]}，“ISBN”：[“9783662496299”，“978366 2496305”]，”引用计数“：27，”URL“http://\/dx.doi.org\/10.10007\/978-3662-99630-5_31”，“关系”：{}，N“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2016]]}，“assertion”：[{“value”：”此内容已对所有人开放。“，”name“：”free“，”label“：”free to read“}]}