{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,7]]，“日期时间”：“2024-05-07T05:58:59Z”，“时间戳”：1715061539803}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540240587”，“类型”：“打印”}，{“值”：“9783540305385”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30538-5_18“，”type“：”book-capter“，”created“：”{“date-part”：[2010,3,12]]，“date-time”：“2010-03-12T13:40:30:30 Z“，”时间戳“：12684012300000}，”页面“：”211-223“，“source”：“Crossref”，“is-referenced-by-count”：8，“title”：[“通过静态环境逻辑中的游戏进行辅助消除”]，“prefix”：“10.1007”，”author“：[{”given“：”Anuj“，”family“：”Dawar“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Philippa“，”序列“：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“18_CR1”，“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，215 \u2013244（1999）“，“journal-title”：“符号逻辑公告”}，{“key”：“18_CR2”，“doi-asserted-by”：“publisher”，“first page”：”285“，“doi”：“10.1017\/S0960129504004141”，“volume”：第14卷，“author”：“L.Cardelli”，“year”：“2004”，“unstructured”：“Cardelli，L.，Ghelli，G.：TQL:一种基于环境逻辑的半结构化数据查询语言。Comp.Sci.\u00a014，285\u2013327（2004）”，“日志标题”：“Comp.Sci.中的数学结构”}，{“key”：“18_CR3”，“series-title”：“计算机科学中的课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”216“doi”：“10.1007\/3-540-36576-1_14”，“卷标题”：“软件科学和计算结构基础”，“作者”：“L.Cardelli”，“年份”：“2003”，“非结构化”：“Cardelli，L.，Gardner，P.，Ghelli，G.：用隐藏标签操纵树。In：Gordon，A.D.（编辑）FOSSACS 2003。LNCS，卷\u00a02620，第216\u2013232页。Springer，Heidelberg（2003）“}，{“key”：“18_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Cardelli，L.，Gordon，A.：Anytime，anywhere:mobile ambients的模态逻辑。In:Proc.of POPL 2000.，pp.365\u2013377（2000）”，“doi”：“10.1145\/325694.325742”}，“key“：”18_CR5Ishtiaq，S.，O\u2019Hearn，P.：BI作为可变数据结构的断言语言。In：程序。POPL 2001.，第14\u201326（2001）页“，“DOI”：“10.1145\/373243.375719”}，{“key”：“18_CR6”，“unstructured”：“Yang，H.：BI指针逻辑中的局部推理示例：Schorr-Waite图标记算法。in:Proc.of SPACE 2001 Workshop，London（2001）”}Lozes，E.：静态环境逻辑中的辅助消除。In：程序。Express 2003，Marseille（2003）“}，{“key”：“18_CR8”，“volume-title”：“有限模型理论”，“author”：“H.D.Ebbinghaus”，“year”：“1999”，“unstructured”：“Ebbinghous，H.D.，Flum，J.：有限模型理论，vol.\u00a02。Springer，Heidelberg（1999）“}，{”key“：”18_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“140”，”doi“：”10.1007\/BFb0053547“，”volume-title“：“软件科学与计算结构基础”，”author“：”L.Cardelli“，”year“：”1998“，”unstructured“：”Cardelli，L.，Gordon，A.：移动环境。收录：Nivat，M.（编辑）FOSSACS 1998。LNCS，第u00a01378卷，第140\u2013155页。Springer，Heidelberg（1998）“}，{”key“：”18_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“46”，”doi“：”10.1007\/3-540-45413-6_8“，”volume-title“：“Typed Lambda Calculi and Applications”，“author”：“L.Cardelli”，“year”：“2001”，“unstructured”：“Cardelli，L.，Gordon，A.D.：名称限制的逻辑属性。摘自：Abramsky，S.（编辑）TLCA 2001。LNCS，第u00a02044卷，第46\u201360页。Springer，Heidelberg（2001）“｝，｛”key“：”18_CR11“，”doi asserted by“：”crossref“，”非结构化“：”Gabbay，M.J.，Pitts，A.M.：一种具有变量绑定的抽象语法的新方法。计算的形式化方面（2002）“，”doi“：”10.1007\\s01650200016“｝，｛”key“：”18_CR12“，”非结构化“：”Caires，L.：流动性的规范逻辑。技术报告4\/2000，DI\/FCT\/UNL（2000）“}，{“key”：“18_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《1》，“doi”：“10.1007\/3-540-45500-0_1”，《volume-title》：“计算机软件的理论方面”，“author”：“L.Caires”，“year”：“2001”，“unstructured”：“Caires，L.，Cardelli，L.：并发的空间逻辑（第一部分）。收录：小林，N.，皮尔斯，B.C.（编辑）TACS 2001。LNCS，第u00a02215卷，第1\u201337页。Springer，Heidelberg（2001）“}，{“key”：“18_CR14”，“unstructured”：“Dawar，A.，Ghelli，G.，Gardner，P.：通过游戏辅助消除（未发表）”}]，“container-title”：[“FSTTCS 2004:软件技术和理论计算机科学基础”，“计算机科学课堂讲稿”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30538-5_18.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：“2020-11-19T04:58:46Z”，“timestamp”：1605761926000}，“score”：1，“resource”：{“primary”:{“URL”：“”http://\/link.springer.com/10.1007\/978-3-540-30538-5_18“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2004]]}，“ISBN”：[“9783540240587”，”9783540305385“]，”引用计数“：14，”URL“：”http://\/dx.doi.org\/10.1007\/9783-540-30538-5“_18”，“关系”：{}，N“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2004]]}}