{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:27:34Z”，“时间戳”：1720625254448}，“引用-计数”：10，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[[1998,1,1]]，”日期-时间“：”1998-01-01T00:00:00 0Z“，”时间戳“：883612800000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：5688，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期-部分”：[[1998]]}，”DOI“：”10.1016\/s1571-0661（05）80024-6“，”type“：”journal-article“，”created“：{”date-parts“：[[2005,5,19]]，”date-time“：”2005-05-19T13:46:30Z“，”timestamp“：1116510390000}，‘page’：”388-393“，”source“Crossref”，“is-referenced-by-count”：3，“special_numbering”：“C”，“title”：[“成员等式逻辑，归纳结构微积分，重写逻辑（扩展抽象）”]，“前缀”：“10.1016”，“卷”：“15”，“作者”：[{“给定”：“Jean-Pierre”，“家族”：“Jouannaud”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“78”，“引用”：[}“键”：“101016\/S1571-0661（05）80024-6BB1“，”doi断言“：”crossref“，”非结构化“：”P.Borovansk\u00fd，C.Kirchner，H.Kirchner，P.-E.Moreau和M.Vittek。ELAN：基于计算系统的逻辑框架。J.Meseguer，编辑，Proc。《理论计算机科学电子笔记》第4卷，第一届国际重写逻辑及其应用研讨会。爱思唯尔，1996年。http://\/wwwl.elsevier.nl\/mcs\/tcs\/pc\/volume4.htm。“，”DOI“：”10.1016/S1571-0661（04）00032-5“｝，｛”key“：”10.1016/S1571-0661（05）80024-6BB2“，”系列标题“：”软件开发理论与实践，里尔，计算机科学讲义第1214期“，”文章标题“：”成员等价逻辑中的规范与证明“，”作者“：”Bouhoula“，”年份“：”1997“｝，｛”key“：”10.1016/S1571-0661（05）80024-6_BIB3“，“doi-asserted-by”：“crossref”，“unstructured”：“Evelyne Contejean和Claude March\u00e9。CiME：完成模块E.过程中。《第七次改写技术与应用》，新泽西州，LNCS 1103，第416-419页，1996年。系统描述可在http://www.lri.fr\/\u223cdemons\/cime.html上找到。“，”DOI“：”10.1007\/3-540-61464-8_70“}，{“key”：“10.1016\/S1571-0661（05）80024-6_BIB4”，“DOI-asserted-by”：“crossref”，“unstructured”：“T.Coquand和C.Paulin-Mohring。归纳定义类型。见P.Martin-L\u00f6f和G.Mints，编辑，《Colog’88年会刊》，第LNCS 417卷。Springer-Verlag，1990年6月。“，”DOI“：”10.1007\/3-540-52335-9_47“}，{“key”：“10.1016\/S1571-0661（05）80024-6_BIB5”，“article-title”：“纯类型系统的模件演算”，“author”：“Judica\u00ebl Courant”，“year”：“1998”，“journal-title“：”University\u00e9 de Paris Sud“}”，{”key“”：“10.0016\/S1571-0661，“非结构化”：“Gilles Dowek、Amy Felty、Hugo Herbelin、G\u00e9rard Huet、Christine Paulin-Mohring和Benjamin Werner。考证助理用户指南5.6版。INRIA Rocquencourt和ENS Lyon。“}，{”key“：”10.1016\/S1571-0661（05）80024-6_BIB7“，”article-tile“：“归纳数据类型系统”，”author“：”Jouannaud“，”year“：”1996“，”journal-title“：”University\u00e9 de Paris Sud“}技术报告，{“issue”：“2”，“key”：“10.1016\\S1571-0661“内政部”：“10.1016\/S0304-3975（96）00161-2”，“article-title“：“抽象数据类型系统”，“volume”：“173”，“author”：“Jouannaud”，“year”：“1997”，“journal-title”：“理论计算机科学”}，{“key”：”10.1016\/S1571-0661（05）80024-6_BIB9“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Lincoln M.Clavel，S.Eker and J.Meseguer.《maude原理》，In J。Meseguer，编辑，《重写逻辑及其应用第一届国际研讨会论文集》，理论计算机科学电子笔记4，1996年。“，”DOI“：”10.1016\/S1571-0661（04）00034-9“}，{“key”：“10.1016\/S1571-0.661（05）80024-6_BIB10“，”非结构化“：”Narciso Mart\u00ed-Oliet和Jos\u00e9 Meseguer。将逻辑重写为逻辑和语义框架。《理论计算机科学电子笔记》第4卷，第一届国际重写逻辑及其应用研讨会。爱思唯尔，1996年。http://\/wwwl.elsevier.nl\/mcs\/tcs\/pc\/volume4.htm。“}]，”container-title“：[”理论计算机科学中的电子笔记“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066105800246？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S1571066105800246？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝]，“已存储”：｛“日期部分”：[[2021,11,4]]，“日期时间”：“2021-11-04T22:40:08Z”，“时间戳”：1636065608000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://linkinghub.elsevier.com/retrieve\/pii\/S1571066105800246”｝，“副标题”：[]，“shorttitle“：[]，”issued“：{”date-parts“：[[1998]]}，”references-count“：10，”alternative-id“：[”S1571066105800246“]，”URL“：”http://\/dx.doi.org\/10.1016\/s1571-0661（05）80024-6“，”relationship“：{}，“ISSN”：[“1571-0671”]，“ISSN-type”：[{“value”：“1571-661”，“type”:“print”}]，“subject”：【]，“published”：{“date-parts”：[[1998]}}