{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T20:40:19Z”，“时间戳”：1649104819489}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540638766”，“类型”：“打印”}，{“值”：“9783540696599”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1997]]}，”DOI“：”10.1007\/bfb0058025“，”type“：”book-capter“，”created“：”{“date-part”：[2006,8,3]]，“date-time”：“2006-08-03T10:48:04Z”，“时间戳”：1154602084000}，“页面”：“88-102”，“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“On the expressive power of rewriting”]，“prefix”：“10.1007”，”author“：[{“given”：“Massimo”，“family”：“Marchiori”，，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-On-line”：{“date-parts”：[[2006,7,13]]}，“reference”：[{“key”：Crossref”，“非结构化”：“H.Aida，G。Goguen和J.Meseguer。将并发重写编译到重写规则机器上。S.Kaplan和M.Okada，编辑，《第二届条件重写和打字重写系统国际研讨会论文集》，LNCS第516卷，第320\u2013332页。Springer-Verlag，1990.“，”DOI“：”10.1007\/3-540-54317-1_101“}，{“key”：“8_CR2”，“DOI-asserted-by”：“publisher”，“first page”：”109“，“DOI”：“10.1016\/S0747-7171（86）80017-7”，”volume“：”2“，”author“J.Avenhaus”，“year”：“1986”，“unstructured”：“J。阿文豪斯。关于术语重写系统的描述能力。符号计算杂志，2:109\u2013122，1986.“，”Journal-title“：”Journal of Symbolic Computation“}，{“issue”：“10”，“key”：“8_CR3”，“first page”：《531》，“volume”：”20“，”author“：”J.Bergstra“，“year”：“1984”，“unstructured”：“J.Bergtra和J.-Ch.Meyer.关于指定整数集的问题。信息处理与控制论杂志（EIK），20（10,11）：531\u20135411984.“，”journal-title“：《信息处理与控制论杂志》（EIK）“}，{”issue“：”3“，”key“：”8_CR4“，”doi-asserted-by“：”publisher“，”first page“：。克鲁普。条件重写规则：合并和终止。计算机与系统科学杂志，32（3）：323\u20133621986。“，“journal-title”：“计算机与系统学杂志”}，{“key”：“8_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Dauchet。用左线性重写规则模拟图灵机。Dershowitz，编辑，《第三届重写技术和应用国际会议论文集》，LNCS 355，第109\u2013120页。Springer Verlag，1989.”，“DOI”：“10.1007\/3-540-51081-8_103”}，｛“密钥”：“8_CR6”，“首页”：“95”，“卷标题”：“LNCS第256卷”，“作者”：“M.Dauchet”，“年份”：“1987”，“非结构化”：“M。Dauchet和De Comite。线性和非线性术语重写系统之间的差距。《第二届改写技术与应用国际会议论文集》，LNCS第256卷，第95\u2013104页，法国波尔多。Springer Verlag，1987.“}，{“key”：“8_CR7”，“doi asserted by”：“crossref”，“nonstructured”：“N.Dershowitz和J.-P.Jouannaud。重写系统。在J.van Leeuwen，编辑，《理论计算机科学手册》，B卷，第6章，第243\u2013320页。Elsevier \u2014麻省理工出版社，1990年。“，”DOI“：”10.1016\/B978-0-444-88074-1.50011-1“}，{”key“：”8_CR8“，”DOI-asserted-by“：”publisher“，”first page“：“111”，“DOI”：“10.1016\/0304-3975（90）90064-O”，“volume”：“75”，“author”：“N.Dershowitz”，“year”：“1990”，“unstructured”：“N.Dershawitz and M。冈田。条件方程式编程的基本原理。理论计算机科学，75:111\u20131381990.“，“journal-title”：“理论计算机科学”}，{“key”：“8_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Dershowitz，M.Okada，and G。西瓦库马尔。标准条件重写系统。《第九届自动扣减国际会议论文集》，LNCS第310卷，第538\u2013549页。Springer-Verlag，1988年。“，”DOI“：”10.1007\/BFb0012855“}，{“key”：“8_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“E.Giovannetti和C.Moiso。关于消除条件的注释。S.Kaplan和J.-P.Jouannaud，编辑，《第一届条件重写和类型重写系统国际研讨会论文集》，LNCS第308卷，第91\u201397页。Springer-Verlag，1988。“，“DOI”：“10.1007\/3-540-19242-5_8”}，{“key”：“8_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Hintermeier。如何将规范递减CTRS转换为等效规范TRS。在N.Dershowitz和N。林登斯特劳斯，编辑，《第四届条件重写和打字重写系统国际研讨会论文集》，LNCS第968卷，第186\u2013205页。Springer-Verlag，1995.“，”DOI“：”10.1007\/3-540-60381-6_11“}，{“key”：“8_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“S.Kaplan.条件项重写系统的编译器。编辑P.Lescane，《重写技术与应用第二届国际会议论文集》，LNCS第256卷，第25\u201341页。Springer-Verlag，1987。“，”DOI“：”10.1007\/3-540-17220-3_3“}，”key“：”8_CR13“，”first page“：“1”，”volume-title“：”计算机科学逻辑手册，第2卷“，”author“：”J.W.Klop“，”year“：”1992“，”unstructured“：”JW.Klot.Term rewriting systems.in S.Abramsky，Dov M.Gabbay，and T.S.E。Maibaum，编辑，《计算机科学逻辑手册》，第2卷，第1章，第1\u2013116页。克拉伦登出版社，牛津，1992年。“}，{”key“：”8_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Marchiori.展开与超属性。摘自《第五届代数与逻辑编程国际会议论文集》（ALP'96），LNCS第1139卷，第107页\u2013121页。Springer-Verlag，1996.“，”DOI“：”10.1007\/3-540-61735-3_7“}，{“key”：“8_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Marchiori.疫苗理论.收录于第二十届国际自动化、语言和编程学术讨论会（ICALP'97），LNCS第1256卷，第660\u2013670页，Springer-Verlag，1997。”，“DOI”：“10.1007\/3-540-63165-8_220“}，{“issue”：“number6”，“key”：“8_CR16”，”doi-asserted-by“：“publisher”，“first page”：”1275“，”doi“：”10.1145\/227683.227689“，”volume“：”42“，”author“：”Y.Toyama“，”year“1995”，“unstructured”：“Y.Toyana，J.W.Klop and H.P.”。巴伦德雷格特。左线性完全项重写系统直和的终止。《美国计算机学会杂志》，第42卷，第6期，第1275\u201313041995页。“，”Journal-title“：”Journal of the ACM“}]，”container-title”：[“计算机科学讲义”，“软件技术和理论计算机科学基础”]，“original-tittle”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/BFBb0058025”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,4,20]]，”date-time“：“2019-04-20T14:03:25Z”，“timestamp”：1555769005000}，“score”：1，“resource”：{“primary”:{“URL”：“http://link.sprimary.com\/10007\/BFb0058025”}}}，”subtittle“：[]，”短标题“：[]，”已发布“：{”date-parts“：[[1997]]}，”ISBN“：[”9783540638766“，”978354696599“]，”references-count“：16，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0058025“，”relation“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”键入“：”电子“}]，“主题”：[]，“发布”：{“日期部分”：[[1997]]}}