{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,11]]，“日期时间”：“2023-01-11T22:50:36Z”，“时间戳”：1673477436606}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540539049”，“类型”：“打印”}，{“值”：“9783540463832”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1991]]}，”DOI“：”10.1007\/3-540-53904-2_81“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T22:15:20Z”，“timestamp”：1330208120000}，“page”：“1-12”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“正交项重写系统中的超有限约简”]，“prefix”：“10.1007”，《author》：[{“given”：“J.R.”，”family“：”Kenaway“，”sequence“：”first“，”affiliation“：[]}，”given“：”J.W.“，”faily“：“Klop”，“sequence”：“additional”，“affiliance”：[]{“given”，“附属关系”：[]｝，｛“给定”：“F.J.”，“家族”：“Vries”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“297”，“在线发布”：｛“日期部分”：[[2005,6,7]]｝，“参考”：[｛“密钥”：“1_CR1”，“doi断言者”：“crossref”，“首页”：“445”，“doi”：“10.3233\/FI-1980-3405”，“卷”：“4”，“作者”：“A.Arnold”，“年份”：“1980”，“非结构化”：“A.阿诺和M。NIVAT，无限树的度量空间。代数和拓扑属性，《信息基础》，4（1980）445\u201376.“，”journal-title“：”代数和拓扑性质，《信息基本》}，{“key”：“1_CR2”，“unstructured”：“H.P.BARENDREGT，Lambda Calculus，其语法和语义，第二版，（North-Holland，1984）。“}，”{“密钥”：“1_CR3”，“首页”：“141”，“卷”：“259”，“作者：“H.P.Barendregt”，“年份”：“1987年”，“非结构化”：“H.P Barendregt，M.C.J.D.VAN EEKELEN，J.R.W.GLAUERT，J.R.KENNAWAY，M.J.PLASMEIJER，和M.R.SLEEP，术语图重写，Proc。PARLE会议第二卷，LNCS第259卷，第141\u2013158页（Springer-Verlag，1987）。“，”journal-title“：”LNCS“}，{”key“：”1_CR4“，”first page“：“250”，“volume-title”：“重写，重写，重写doi-asserted-by“：”crossref“，”unstructured“：”N.DERSHOWITZ，S.KAPLAN和D.A.PLAISTED，《无限正规形式（加更正）》，ICALP 1989，第249\u2013262页。“，”doi“：”10.1007\/BFb0035765“}，{“key”：“1_CR6”，“unstructure”：“N.DERSAWITZ和J.P.JOUANNAUD，《重写系统》，收录于《理论计算机科学手册》（ed.J.van Leeuwen）B卷，第15章，北荷兰人。“}，{“key”：“1_CR7”，“unstructured”：“N.DERSHOWITZ，S.KAPLAN和D.A.PLAISTED，Rewrite，Rewrite，重写，rewritive，rewritet，rewrit-to-appears.”}，“{“密钥”：“1_CR8”，“非结构化”：“W.M.FARMER和R.J.WATRO，术语图重写中的Redex捕获，《使用咖喱芯片进行计算》（编辑：W.M.FARMER，J.Ramsdell和R.J WATRO），M89-59号报告，MITRE，1989年。”}、{“key“：”1_CR9“，”unstructured“：”P.HUDAK等人，《函数编程语言Haskell报告》。拟议标准草案，1988年。“}，{“key”：“1_CR10”，“unstructured”：“G.HUET和J.-J.L\u00c9VY，非模糊线性项重写系统中的按需调用计算，359号报告，INRIA，1979年。”}，“key“：”1_CR11“，“unsructuredkey“：”1_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”J.R.KENNAWAY，J.W.KLOP，M.R.SLEEP和F.J.DE VRIES，正交项重写系统的超有限约化（全文），报告CS-R9041，CWI，阿姆斯特丹，1990年。“，”doi“：”10.1007\/3-540-53904-2_81“}，{“key”：“1_CR13”，“volume-title”：“非折叠正交项重写系统的无限Church-Rosser性质，报告CS-R9043”，“作者”：“J.R.Kennaway”，“年份”：“1990”，“非结构化”：“JR.Kennaway，J.W.KLOP，M.R.SLEEP和F.J.DE VRIES，非折叠正交词重写系统的无穷Church-Rosser特性，报告CS_R9043，CWI，阿姆斯特丹，1990.“}，{”key“：”1_CR14“，”series-title“：”数学中心区“，”volume-title“：“组合约简系统”，”author“：”J.W.Klop“，”year“：”1980“，”unstructured“：”JW.Klop，组合约简系统，数学中心区127号，CWI，阿姆斯特丹，1980。“}”，{“key”：“1_CR15”，“unstructure”：“J.W。KLOP，术语重写系统，收录于《计算机科学逻辑手册》第一卷（编辑S.Abramsky、D.Gabbay和T.Maibaum），牛津大学出版社，1991年第一页“：”160“，”DOI“：”10.1145\/321738.321750“，”volume“：”20“，”author“：”B.K.Rosen“，”year“：”1973“，”unstructured“：”B.K.Rosen，树操作系统和Church Rosser定理，JACM 20（1973）160\u2013187.“，”journal-title“：”JACM“}，{“key”：“1_CR18”，“DOI-asserted-by”：“crossref”，“unstructure”：“D.A。米兰达·特纳：一种具有多态性类型的非限定功能语言，载于J.-P.乔安纳德（编辑），Proc。ACM函数编程语言与计算机体系结构会议，《计算机科学讲义》，第201卷，Springer-Verlag，1985年。“，“DOI”：“10.1007\/3-540-15975-4_26”}]，“container-title”：[“重写技术与应用”，“计算机科学讲稿”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-53904-2_81.pdf“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,12,31]]，“date-time”：”2021-12-31T03:31:42Z“，“timestamp”：1640921502000}，“score”：1，“resource”：}“primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-53904-2_81“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1991]]}，“ISBN”：[“9783540539049”，“9783546382”]，”参考计数“：18，”URL“：”http://\/dx.doi.org\/10.10007\/3-504-5394-2_81 2-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-3349“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1991]]}}