{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T20:48:37Z”，“时间戳”：1714250917085}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540766360”，“类型”：“打印”}]，“内容域”：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-76637-7_17”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,20]]，“date-time”：“2007-11-20T07:47:52Z”，“timestamp”：1195544872000}，”page“255-270”，“source”：”Crossref“，”is-referenced-by-count“：4，”title“”：[“树的上下文逻辑中的附加消除”]，“前缀”：“10.1007”，“作者”：[{“给定”：“克里斯蒂亚诺”，“家族”：“加尔加尼奥”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“托马斯”，“家庭”：“丁斯代尔·杨”，“顺序”：“附加”，“附属关系”：[]}：“297”，“reference”：[{“key”：“17_CR1”，“volume-title”：“POPL 2001”，“author”：“S.S.Ishtiaq”，“year”：“2001”，”unstructured“：”Ishtiag，S.S.，O\u2019Hearn，P.W.：BI作为可变数据结构的断言语言。In:POPL 2001,ACM Press，New York（2001）：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。In:LICS 2002，IEEE Computer Society，Los Alamitos（2002）”}，{“key”：“17_CR3”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-45931-6_28”，“volume-title”：《软件科学与计算结构基础》，“author”：“H.Yang”，“year”：“2002”，“unstructured”：“Yang，H.，O\u2019Hearn，P.W.：局部推理的语义基础。In:Nielsen，M.，Engberg，U.（eds.）ETAPS 2002和FOSSACS 2002。LNCS，vol.\u00a02303，Springer，Heidelberg（2002）“}，{”key“：”17_CR4“，”volume-title“：”POPL 2000“，”author“：”L.Cardelli“，”year“：”2000“，“unstructured”：”Cardelli，L.，Gordon，A.D.：Anytime，anywhere:modal logics for mobile ambients.In:POPL 2000ACM Press，New York（2000）“}.”，{“key”：“17_CR5”，“volume-titel”：“POPL 2005”，“author”：“C.Calc agno“，”年份“：”2005年，“非结构化”：“Calcagno，C.，Gardner，P.，Zarfaty，U.：上下文逻辑和树更新。In:POPL 2005，ACM Press，New York（2005）“}，{“issue”：“2”，“key”：“17_CR6”，“doi-asserted-by”：“publisher”，“first page”：：“215”，“doi”：“10.2307\/421090”，“volume”：”5“，“author”：“P.O\u2019Hearn”，“year”：“1999”，“unstructured”：“O\u201 9Hearn，P.，Pym，D.：集群含义的逻辑。符号逻辑公报\u00a05（2），215 \u2013244（1999）“，”新闻标题“：”符号逻辑公报“}，{“key”：“17_CR7”，“volume-title”：“POPL 2007”，“author”：“C.Calcagno”，“year”：“2007”，《unstructured》：“Calcagno.，C.，Gardner，P.，Zarfaty，U.：作为模态逻辑的上下文逻辑：完备性和参数不可表达性。In:POPL 2007.，ACM Press，New York（2007）”}，}“key”：EXPRESS 2003“，“author”：“E.Lozes”，“year”：“2003”，“unstructured”：“Lozes，E.：静态环境逻辑中的辅助消去。收录于：Corradini，F.，Nestmann，U.（编辑）EXPRESS 2003。ENTCS，vol.\u00a096，Elsevier，Amsterdam（2003）“}，{“key”：“17_CR9”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《FSTTCS 2004：软件技术和理论计算机科学基础》，“author”：“A.Dawar”，“year”：“2004”，“unstructured”：“Dawar，A.，Gardner，P.，Ghelli，G.：通过静态环境逻辑中的游戏进行辅助消除。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，vol.\u00a03328，Springer，Heidelberg（2004）“}，{“key”：“17_CR10”，“unstructured”：“Calcagno，C.，Gardner，P.，Zarfaty，U.：分离逻辑，环境逻辑和上下文逻辑：参数不表达结果（Unpublished，2006）”}，}“key:”17_CR11“，”unstructure“：”丁斯代尔·杨（Dinsdale-Young），T.：语境逻辑中的伴随消去。硕士论文，伦敦帝国理工学院（2006）“}，{“issue”：“2”，“key”：“17_CR12”，”doi-asserted-by“：”crossref“，”first page“：”125“，”doi“：”10.1051 \/ita\/1991250201251“，”volume“：“25”，“author”：“U.Heuter”，“year”：“1991”，“unstructured”：“Heuter，U.：树的一阶特性、无星表达式和非周期性。Informatique th\u00e9orique et applications\u00a025（2），125\u2013145（1991）“，“journal-title”：“Informationque th\ u00e9 orique et-applications”}，{“key”：“17_CR13”，“series-title”：《计算机科学讲义》，“volume-title“：CSL 2007”，“author”：“M.Boja\u0144czyk”，“year”：“2007”，《非结构化》：“Boja\u0144czyk，M.：森林表达式。收录人：Duparc，J.，Henzinger，T.A.（编辑）CSL 2007。LNCS，vol.\u00a04646，Springer，Heidelberg（2007）“}]，“container-title”：[“Programming Languages and Systems”，“Teach Notes in Computer Science”]，“original-title（原始标题）：[]，“language”：“en”，“link”：[{“URL”：“http://link.Springer.com/content\/pdf\/10007\/978-3-540-76637-7_17.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“预期应用程序“：”相似性检查“｝]，“已存放”：｛“日期部分”：[[2021,4,27]，“日期时间”：“2021-04-27T10:56:22Z”，“时间戳”：1619520982000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-76637-7_17”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[null]]｝，“国际标准图书号”：[9783540766360“]，”引用计数“：13，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-76637-7_17“，”关系“：｛｝，”主题“：[]｝｝