{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,1]]，“日期时间”：“2023-08-01T19:30:48Z”，“时间戳”：1690918248661}，“出版商位置”：“查姆”，“引用计数”：13，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319197968”，“类型”：”打印}，{“值”：“9783319197975”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}:00Z“，”timestamp“：1420070400000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015]]}，”DOI“：”10.1007\/978-3-19797-5_11“，”类型“：”book-chapter“，”创建“：{”date-part“：[[2015年6月10日]，“日期-时间”：“2015-06-10T15:56:37Z”，“时间戳”：1433951797000}，“页面”：“224-237”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“交叉引用”，“is-referenced-by-count”：2，“标题”：[“自动机和等式的常规变体”]，“前缀”：“10.1007”，”作者“：[{”给定“J”，“家族”：“萨拉曼卡”，“序列”：“第一个”，“从属关系”：[]}，{“给定”：“A.”，“家庭”：“Ballester-Bolinches”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“M.M.”，“family”：“Bonsange”，“serquence”:“additionable”，“abfiliation“：[]{”given“：”E.“，”family“：”Cosme-Ll\u00f3pez“，”sequence“：”additional]，“成员”：“297”，“在线发布”：{“date-parts”：[[2015,6,9]]}，“reference”：[{“key”：“11_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Abel，A.，Pientka，B.，Thibodeau，D.，Setzer，A.：Copatterns：通过观测编程无限结构。In：Giacobazzi，R.，Cousot，R.（eds.）第40届美国计算机学会编程语言原理研讨会论文集（POPL\u201913），第27\u201338页，美国计算机学会（2013），“DOI”：“10.1145\/2429069.2429075”}，{“key”：“11_CR2”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：软件科学和计算结构基础”，“作者”：“J Ad\u00e1mek”，“年份”：“2014年”，“非结构化”：“Ad\u001mek，J.，Milius，S.，Myers，R.S.R.，Urbat，H.：广义艾伦伯格定理一：语言的局部变体。收录：Muscholl，A.（编辑）FOSSACS 2014（ETAPS）。LNCS，第8412卷，第366\u2013380页。Springer，Heidelberg（2014）“}，{”issue“：“2”，”key“：“11_CR3”，”doi-asserted-by“：”publisher“，”first page“：”233“，”doi“：”10.1017\/S0960129502003894“，”volume“:”13“，”author“：”SAwodey“，”year“：”2003“，”unstructured“：”Awodey，S.，Hughes，J.：模态算子和Birkhoff\u2019s完备性定理的形式对偶。数学结构计算科学.13（2），233\u2013258（2003）“，”杂志标题“：”数学。结构。计算。科学。“}，{”key“：”11_CR4“，”unstructured“：”Ballester-Bolinches，A.，Cosme-Ll\u00f3pez，E.，Rutten，J.J.M.M.：自动机方程和协方程的对偶等价。CWI技术报告FM-1403，pp.1\u201330（2014）“}”，{“作者”：“G Birkhoff“，“year”：“1935”，“unstructured”：“Birkhof，G.：关于抽象代数的结构。程序外倾角。菲洛斯。Soc.31，433\u2013454（1935）“，“期刊标题”：“Proc Camb。菲洛斯。Soc.“}，{”issue“：“1”，”key“：“11_CR6”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1145\/2490818“，”volume“：：”15“，”author“：”F Bonchi“，”year“：”2014“，”unstructured“：”Bonchi，F.，Bonsangue，M.，Hansen，H.，Panangaden，P.，Rutten，J.，Silva，A.：Brzowski\u2019s最小化算法中的代数-代数对偶性。ACM事务计算逻辑15（1），1\u201327（2014）”，“期刊标题”：“ACM Trans。计算。逻辑“}，{“key”：“11_CR7”，“volume-title”：“通用代数课程，数学研究生课本”，“author”：“SN Burris”，“year”：“1981”，“unstructured”：“Burris，S.N.，Sankappanavar，H.P.：通用代数课程、数学研究生课程。Springer，New York（1981）”}doi-asserted-by“：”publisher“，”first page“：”288“，”doi“：”10.1007 \/11560647_19“，”volume-title“：”计算的理论方面\u2013 ICTAC 2005“，”author“：”R Clouston“，”year“：”2005“，“unstructured”：”Clouston，R.，Goldblatt，R.：余代数的余变量：余代数和余方程。作者：Van Hung，D.，Wirsing，M.（编辑）ICTAC 2005。LNCS，第3722卷，第288\u2013302页。Springer，Heidelberg（2005）“}，{”key“：”11_CR9“，”series-title“：”计算机科学讲义“，”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.：正则语言的对偶性和等式理论。收录人：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）“}，{“问题”：“4”，“关键”：“11_CR10”，“首页”：“210”，“卷”：“26”，“作者”：“E Graczy\u0144ska”，“年份”：“1997”，“非结构化”：“Graczy \u0144 ska，E.：Birkhoff \u2019s关于正则变种的定理。Bull.Sect.Logic，Univ.\u0141\u00f3d\u017a 26（4），210\u2013219（1997）”，“期刊标题”：“”牛市。第节。Logic，Univ.\u0141\u00f3d\u017a“}，{“key”：“11_CR11”，“doi-asserted-by”：“publisher”，“first page”：”183“，“doi”：“10.4064\/fm-61-2-183-189”，“volume”：：“61”，“author”：“J P\u0142onka”，“year”：“1967”，“unstructured”：“P\u00142onka，J.：关于抽象代数的构造方法。Fund.Math.61,183\u2013189（1967）”，“journal-title”：“Fund.Math.”}，{“issue”：“1”，“key”：“11_CR12”，“doi asserted by”：“publisher”，“first page”：“3”，“doi”：“10.1016\/S0304-3975（00）00056-6”，“volume”：“249”，“author”：“JJMM-Rutten”，“year”：“2000”，“nonstructured”：“Rutten，J.J.M.M.：通用煤炭：系统理论。西奥。计算。科学。249（1），3\u201380（2000）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”11_CR13“，”first page“：“1”，“volume”：“5”，“author”：“W Taylor”，“year”：“1979”，“unstructured”：“Taylor，W.：等式逻辑。Houston J.Math.5，1\u201383（1979）”，“journal title”：“Houston J Math.”}]，“container-title”：[“计算机科学课堂讲稿”，“程序构造数学”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-319-19797-5_11“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2022,11,2]，“date-time”：”2022-11-02T19:48:31Z“，“timestamp”：1667418511000}，“score”：1，“resource”:{“primary”：“{”URL“：”https:\/\/link.springer.com/10.1007\/978-3-319-19797-5_11“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2015]]}，“ISBN”：[“9783319197968”，“978339197975”]，“references-count”：13，“URL”：“http://\/dx.doi.org\/10007\/978-319-19777-5_1”，“relation”：{}、“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：”1611-3349“，”type“：“electronic”}]，”subject“：[]，”published“：{”date-parts“：[[2015]]}，”assertion“：[{”value“:”2015年6月9日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，”label:“Chapter History“}}]}