{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T06:52:53Z”，“时间戳”：1648968773695}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540578673”，“类型”：“打印”}，{“值”：“9783540483618”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57867-6_15“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T13:32:02 Z“，”timestamp“：1330263122000}，”page“：”252-267“，”source“：“Crossref”，“is-referenced-by-count”：1，“title”：[“用双写系统实现不等式和非确定性规范”]，“prefix”：“10.1007”，”author“：[{“given”：“Jordi”，“family”：“Levy”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“Jaume”，“published-online”：{“date-parts”：[[2005,5,27]]}，“reference”：[{“key”：“15_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”N.Dershowitz和J.-P.Jouannaud.重写系统。J.V.Leeuwen，编辑，《理论计算机科学手册》。Elsevier Science Publishers，1990年。“，doi”：“10.1016\/B978-0-444-88074-1.50011-1”}，{“key”：”15_CR2“，“doi-asserted-by”：“crossref”，“first page”：“87”，“doi”：“10.1145\/42192.42194”，“volume”：”10“，“author”：“W.H.Hesselink”，”year“：”1988“，”unstructured“：”W.H.Hesselink.数据类型不确定性的数学方法.《美国计算机学会编译语言与系统》，10:87\u20131171988。“，”journal-title“：“ACM Trans.Programming Languages and Systems”}，{“issue”：“4”，“key”：“15_CR3”，“doi-asserted-by”：“crossref”，“first-pages”：“797”，“doi”：“10.1145\/322217.32230”，“volume”：”27“，“author”：“G.Huet”，“year”：“1980”，“unstructured”：“G.Huet.Confluent reductions:Abstract properties and applications to term rewriting Systems.美国计算机学会杂志，27（4）：797\u20138211980.“，”journal-title“：《美国医学会杂志》}，{“key”：“15_CR4”，“volume-title”：“博士论文”，“author”：“H.Hussmann”，“year”：“1991”，“unstructured”：“H·Hussmann.Non-deterministic Algebraic Specifications。博士论文，Institute f\u00fcr Informatik，Technische University\u00e4t M\u00fc nchen，M\u00 fcnchen，Germany，1991。”}，}，“key“：”15_CR5“，“doi-asserted-by“：”crossref“，”first-page“：”237“，”doi“：”10.1016\/0743-1066（92）90026-Y“，”volume“：”12“，”author“：”H.Hussmann“，”year“：”1992“，”unstructured“：”H Hussmann。非确定性代数规范和非连续项重写。《逻辑编程杂志》，12:237\u20132551992.“，”Journal-title“：”Journal of Logic Programming“}，{“issue”：“1”，“key”：“15_CR6”，“doi-asserted-by”：“crossref”，“first-page”：“1155”，“doi”：“10.1137\/0215084”，“volume”：”15“author”：“J.-P.Jouannaud”，“year”：“1986”，“unstructured”：“J-P.Joaunaud and H.”。基什内尔。一组规则对一组方程进行模运算的完成。SIAM J.computing，15（1）：1155\u201311941986.“，“journal-title”：“SIAM J.computing”}，{“key”：“15_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“S.Kaplan.用非确定性选择算子重写：从代数到证明.收录于Proc.1986 European Symp.on Programming，卷213，计算机科学讲稿，第351\u2013374页。Springer，1986.“，”DOI“：”10.1007\/3-540-16442-1_27“}，{”key“：”15_CR8“，”volume-title“：”技术报告316“，”author“：”S.Kaplan“，“year”：“1986”，”unstructured“：”S。卡普兰。简化条件重写系统：统一、终止和合流。技术报告316，法国奥尔赛巴黎南德大学信息实验室，1986年。“}，{”key“：”15_CR9“，”doi-asserted-by“：”crossref“，”first page“：“37”，“doi”：“10.1016\/0304-3975（86）90005-8”，“volume”：“56”，“author”：“S.Kaplan”，“year”：“1988”，“unstructured”：“S。卡普兰。使用非确定性选择运算符重写。《理论计算机科学杂志》，56:37\u2013571988年。“，“期刊标题”：“理论计算机科学期刊”}，{“关键字”：“15_CR10”，“首页”：“17”，“卷标”：“RTA'93，计算机科学讲义第690卷”，“作者”：“J.Levy”，“年份”：“1993”，“非结构化”：“J·Levy和J·。阿古斯特。双重写，一种用于单调顺序关系的术语重写技术。在RTA'93年，《计算机科学讲义》第690卷，第17\u201331页，加拿大蒙特利尔，1993年。斯普林格·弗拉格。“}，{”key“：”15_CR11“，”unstructured“：”J.Levy.二阶双写系统.技术报告，Institute d'Investigaci\u00f3 en Intel \u00b7lig\u00e8ncia Artificial，CSIC，1993。“}”，{“key”：“15_CR12”，“volume-title”：“Concur'90，计算机科学讲义”，“author”：“J.Meseguer”，“year”：“1990”，“unstructure”：“J。梅塞盖尔。重写为统一的并发模型。在Concur'90年，计算机科学讲义，荷兰阿姆斯特丹，1990年。斯普林格·弗拉格。“｝，｛”key“：”15_CR13“，”doi asserted by“：”crossref“，”first page“：”73“，”doi“：”10.1016\/00304-3975（92）90182-F“，”volume“：”96“，”author“：”J.Meseguer“，”year“：”1992“，”nonstructured“：”J.Meseguer。作为并发统一模型的条件重写逻辑。理论计算机科学杂志，96:73\u20131551992.“，”期刊标题“：”《理论计算机科学杂志》，{“key”：“15_CR14”，“doi asserted by”：“crossref”，“nonstructured”：“P.D.Mosses.统一代数和机构.程序设计语言原理会议，第304\u2013312页。ACM出版社，1989年。“，”DOI“：”10.1109\/LICS.1989.39185“}，{“key”：“15_CR15”，“DOI-asserted-by”：“crossref”，“first page”：”629“，“DOI”：“10.1007\/BF00263649”，“volume”：：“22”，“author”：“T.Nipkow”，“year”：“1986”，“unstructured”：“T.Nipkow。非确定性数据类型：模型和实现。Acta Informatica，22:629\u20136611986。”，“journal al标题“：”信息学报“}，{”期刊“：“2”，”关键词“：“15_CR16”，”doi-asserted-by“：”交叉引用“，”首页“：”233“，”doi“：”10.1145“/32248.322251“，”卷“：”28“，”作者“：”G.E.Peterson“，”年份“：”1981“，”非结构化“：”G.E.Peters和M.E.Stickel。一些等式理论的完整简化集。ACM杂志，28（2）：233\u20132641981。“，”journal-title“：”journal of the ACM“}]，“container-title”：[“数据类型规范的最新趋势”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/3-540-57867-6_15.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2021,4,28]]，“date-time”：“2021-04-28T01:09:08Z”，“timestamp”：1619572148000}，“score”：1，“resource”：{”primary“：}”URL“：”http://\link.springer.com\/10.1007\/3-540-57867-6_15“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：8673“，”9783540483618“]，”references-count“：16，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-57867-6_15“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1994]]}}}}