{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T13:37:03Z”，“时间戳”：1725543423260}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540368342“}，{”类型“：“electronic”，“value”：“9783540368359”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2006]]}，”DOI“：”10.1007\/11805618_8“，”type“：”book-capter“，”created“：”{“date-part”：[2006,7,25]]，“date-time”：“2006-07-25T14:29:13Z”，“时间戳”：1153837753000}，“页面”：“96-107”，“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Modular Church-Rosser Modulo”]，“prefix”：“10.1007”、“author”：[{“given”：“Jean-Pierre”，“family”：“Jouannaud”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[}“key”：itz“，”年份“：”1990年“，“非结构化”：“Dershowitz，N.，Jouannaud，J.-P.：重写系统。收录：van Leeuwen，J.（编辑）《理论计算机科学手册》，第\u00a0B卷，第243\u2013309页。North-Holland，Amsterdam（1990）“}，{”issue“：”4“，”key“：”8_CR2“，”doi-asserted-by“：”publisher“，”first-page“：”797“，”doi“：”10.1145\/322217.32230“，”volume“：“27”，”author“：”G.Huet“，”year“：”1980“，”unstructured“：”Huet，G.：Confluent reductions:抽象属性和术语重写系统的应用。ACM\u00a027（4），797\u2013821（1980）“，”journal-title“：”journal of the ACM“}，{”issue“：”4“，”key“：”8_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1155”，”doi“：”10.1137\/0125084“，“volume”：“15”，“author”：“J.-P.Jouannaud”，“year”：“1986”，“unstructured”：“Jouannoud，J.-P.，Kirchner，H.：完成一组方程模的规则集。SIAM计算杂志\u00a015（4），1155\u20131194（1986）“，”journal-title“：”SIAM journal on Computing“}，{“key”：“8_CR4”，“unstructured”：“Jouannaud，J.-P，van Raasdon，F.，Rubio，A.：用类型和算术重写（2005），可从网上获得”}，}“issue”：“2”，“key“：”8_CR5“，”doi-asserted-by“：”publisher“，”“首页“：”101“，”doi“：”10.1016\/020-0190（94）900034 5“，”卷“：”49“，”作者：“J.W.Klop”，“年份”：“1994年”，“非结构化”：“Klop，J.W.，Middeldorp，A.，Toyama，Y.，de Vrijer，R.：汇流的模块性：一个简化证明。信息处理信件\u00a049（2），101\u2013109（1994）“，”日记标题“：”信息处理信件“}，{“key”：“8_CR6”，“unstructured”：“Lankford，D.S.，Ballantyne，A.M.：具有置换公理的简单方程理论的决策程序：置换约化的完整集。研究报告备忘录ATP-37，美国德克萨斯州奥斯汀市德克萨斯大学数学和计算机科学系（1977年8月）“}，{“key”：“8_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“March\u00e9，C.：规范化重写和规范化完成。摘自：第九届IEEE Symp.Logic In Computer Science，pp.394\u2013403（1994）”，“doi”：“10.1109\/LICS.1994.316050“｝，｛“issue”：“1”，“key”：“8_CR8”，“doi asserted by”：“publisher”，“首页”：“3”，“doi”：“10.1016\/S0304-3975（97）00143-6”，“volume”：“192”，“author”：“R.Mayr”，“year”：“1998”，“nonstructured”：“Mayr，R.，Nipkow，T.：高阶重写系统及其融合。理论计算机科学\u00a0192（1），3\u201329（1998）”，“journal-title“：“理论计算机科学”}，{“key”：“8_CR9”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“首页”：“263”，“doi”：“10.1007\/3-540-51081-8_113”，“volume-title”：《重写技术与应用》，“author”：“A.Middeldorp”，《年份》：“1989”，“非结构化”：“Middeldorp，A.：与正规形式相关的术语重写系统属性的模块化方面。收录：Dershowitz，N.（编辑）RTA 1989。LNCS，第u00a0355卷，第263\u2013277页。Springer，Heidelberg（1989）“}，{”issue“：“2”，”key“：“8_CR10”，”doi-asserted-by“：”publisher“，”first page“：”233“，”doi“：”10.1145\/32248.322251“，”volume“：28”，”author“：”G.E.Peterson“，”year“：”1981“，”unstructured“：”Peterson，G.E.，Stickel，M.E.：一些等式理论的完整简化集。ACM\u00a028（2），233\u2013264（1981）“，”journal-title“：《ACM杂志》}，{“volume-title”：“术语重写系统。理论计算机科学剑桥卷55”，“年份”：“2003”，“关键字”：“8_CR11”，“非结构化”：“Bezem，M.，Kop，J.W.，de Vrijer，R.（eds.）：术语重写系统，理论计算机科学坎布里奇卷55。剑桥大学出版社，剑桥（2003）“}，{”issue“：”1“，”key“：”8_CR12“，”doi-asserted-by“：”publisher“，”first page“：“128”，”doi“：”10.1145\/7531.7534“，“volume”：“34”，”author“：”Y.Toyama“，”year“：”1987“，”unstructured“：”Toyama，Y.：关于Church-Rosser属性的直接和重写系统。ACM\u00a034（1），128\u2013143（1987）”，“期刊标题”：“美国计算机学会期刊”}]，“容器标题”：[“计算机科学讲义”，“术语重写和应用”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/11805618_8.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查“}”，“存放”：{“date-parts”：[[2021,4,27]]，“date-time”：“2021-04-27T07:26:05Z”，“timestamp”：1619508365000}，“score”：1，“resource”：{“primary”：{:“URL”：“http://\link.springer.com\/10.1007\/11805618_8”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2006]}，‘ISBN”：[“9783540368342”，“978354368359”]，“references-count”：12，“URL”：“http:\/\/dx.doi.org\/10.1007\/11805618_8“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2006]]}}}}