{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,3]]，“日期-时间”：“2023-04-03T13:07:41Z”，“时间戳”：1680527261783}，“引用-计数”：14，“发布者”：“爱思唯尔BV”，“问题”：“5”，“许可证”：[{“开始”：{:“日期-零件”：[2010,5,1]]，《日期-时间》：“2010 05-01T00:00:00Z“，”时间戳“：1272672000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,5,1]]，“date-time”：“2014-05-01T00:00:00Z”，“timestamp”：1398902400000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“https:\/\\/www.elssevier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Calculation”]，“published-print”：{“date-parts”：[[2010,5]]}，”DOI“：”10.1016\/j.ic.2009.02.013“，”type“：”journal-article“，”created“：{”date-part“：[[2009,12,6]]，”date-time“：”2009-12-06T20:55:14Z“，”timestamp“：1260132914000}”，“page”：“474-499”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“树的上下文逻辑中的附加消除”]，“prefix”：“10.1016”，“volume”：“208”，“author”：[{“给定”：“Cristiano”，“family”：“Calcagno”，”sequence“：”first“，”affiliation“：[]}，{“given”：”Thomas“，”family“：”Dinsdale-Young“，”序列“：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.ic.2009.02.013_bib1”，“series-title”：“POPL 2001”，“first-page”：“14”，“article-title”：《BI作为可变数据结构的断言语言》，“author”：“Ishtiaq”，“year”：“2001”}，{“key”：S 2002”，“首页”：“55”，“article-title”：“分离逻辑：共享可变数据结构的逻辑”，“author”：“Reynolds”，“year”：“2002”}，{“key”：“10.1016\/j.ic.2009.02.013_bib3”，“series-title”：”ETAPS 2002 and FOSSACS 2002“，“first page”：”402“，”article-title“：”局部推理的语义基础“，”volume“2303”，”author“：”Yang“，”year“：”2002“}，”{“key”：“10.1016\/j.ic.2009.02.013_bib4”，“series-title”：“POPL 2000”，“首页”：“365”，“article-title”：“Anytime anywhere:mobile ambients的模态逻辑”，“author”：“Cardelli”，“year”：“2000”}，{“key”：”10.1016\/j.ic.2009.02.013 _bib5“，”series-title“：”POPL 2005“，”首页“：”271“，”article-title“：“上下文逻辑和树更新”，“作者”：“Calcagno”，“年份”：“2005”}，{“key”：“10.1016\/j.ic.2009.02.013_bib6”，“series-title”：“POPL 2007”，“首页”：“123”，“文章-标题”：“作为模态逻辑的上下文逻辑：完整性和参数不表达性”，“author”：“Calcagno”，“year”：“2007”}：“静态环境逻辑中的辅助消去”，“卷”：“第96卷”，“作者”：“Lozes”，“年份”：“2003”}，{“key”：“10.1016\/j.ic.2009.02.013_bib8”，“series-title”：“FSTTCS 2004”，“首页”：“211”，“article-title”：：“10.1016\/j.ic.2009.02.013_bi9”，“非结构化”：“C.Calcagno，P.Gardner，U.Zarfati，Separation Logic，Ambient Logic and Context Logic:parameter Injectivity results，unpublished，2006.”}，｛“key”：“10.1016\/j.ic.2009.02.013_bi10”，“非结构化”：“T。Dinsdale-Young，上下文逻辑中的伴随消去，硕士论文，帝国理工学院，伦敦，2006。“}，{”key“：”10.1016\/j.ic.2009.02.013_bib11“，”series-title“：”APLAS 2007“，”first page“：“255”，”article-title“：“树的上下文逻辑中伴随消去”，“author”：“Calcagno”，“year”：“2007”}，“issue”：“2”，“key”：“”10.1016\/j.ic.2009.02.013_bib12“，”doi-asserted-by“：”crossref“，”first page“：”215“，”doi“：”10.2307\/421090“，”article-title“：”bunched implications“的逻辑”，“volume”：“5”，“author”：“O\u2019Hearn”，“year”：“1999”，“journal-title”：“Bulletin of Symbolic Logic”}，{“issue”：“2”，“key”：”10.1016\/j.ic.2009.02.013 _bib13“，“doi-asserted-by”：“crossref”，“首页”：“125“，”DOI“：”10.1051\/ita\/1991250201251“，”article-title“：”树的一阶属性、无星表达式和非周期性“，”volume“：”25“，”author“：”Heuter“，”year“：”1991“，”journal-title”：“Informatique Th\u00e9orique et Applications”}，{“key”：“10.1016\/j.ic.2009.02.013_bib14”，“series-title”：”CSL 2007“，”第一页“：”146“，“article-title”“：”Forest expressions“，”volume“：”vol.4646“，”author“：”Boja\u0144czyk“，”year“：”2007“}]，”container-title“：[”Information and Computation“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S0890540209002363？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”预期应用程序“：”text-mining“}，{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0890540109002363？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-miniing”}]，“deposed”：{“date-parts”：[[2018,12,14]]，“date-time”：“2018-12-14T20:26:06Z”，“timestamp”：1544819166000}，“score”“：1，”资源“：{”主“：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540109002363“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2010,5]]}，“references-count”：14，“journal-issue”：{“issue”：“5”，“published-print”：{-“date-part”：[2010,5]}}、“alternative-id”：[“S08905402009002363”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ic.2009.02.013”，“关系”：{}，“ISSN”：[“0890-5401“]，”issn类型“：[｛”value“：”0890-5401“，”type“：”print“｝]，”subject“：[]，”published“：｛”date parts“：[[2010,5]]｝｝｝