{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T22:16:44Z”，“时间戳”：1725574604885}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 253884“}，{”类型“：“electronic”，“value”：“9783540319825”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31982-5_25“，”type“：”book-capter“，”created“：”{“date-part”：[2011,14]]，“date-time”：“2011-01-14T07:29:02 Z“，”时间戳“：129499014200}，”页面“：”395-409“，“source”：“Crossref”，“is-referenced-by-count”：21，“title”：[“From Separation Logic to First-Order Logic”]，“prefix”：“10.1007”，”author“：[{”given“：”Cristiano“，”family“：”Calcagno“，”sequence“：”First“，”affiliation“：[]}，{”fixed“：”Philippa“，”“family”：“Gardner”，“sequence”：“additional”，“afliation”：[]{”：“附加”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“25_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”first page“：”108“，”doi“：”10.1007\/3-540-45294-X10“，”volume-title“：”FST TCS 2001:软件技术和理论计算机科学基础“，”author“：”C.Calcagno“，”year“：”2001“unstructured”：“Calcagno，C.，Yang，H.，O\u2019Hearn，P.W.：数据结构空间断言语言的可计算性和复杂性结果。收录：Hariharan，R.，Mukund，M.，Vinay，V.（编辑）FSTTCS 2001。LNCS，卷\u00a02245，第108页\u2013119。Springer，Heidelberg（2001）“}，{”key“：“25_CR2”，”first page“：”55“，”volume-title“：”LICS“，”author“：”J.C.Reynolds“，”year“：”2002“，”unstructured“：”Reynold，J.C.：分离逻辑：共享可变数据结构的逻辑。In:LICS，pp.55\u201374。IEEE，Los Alamitos（2002）“}，{”key“：”25_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“97”，”doi“：”10.1007\/978-3-540-30538-5_9“，”volume-title“：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“J.Berdine”，“year”：“2004”，“unstructured”：“Berdine，J.，Calcagno，C.，O\u2019Hearn，P.：分离逻辑的一个可判定片段。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，第00a03328卷，第97页\u2013109。Springer，Heidelberg（2004）“}，{”key“：“25_CR4”，”doi-asserted-by“：”publisher“，”first page“：”135“，”doi“：”10.1145\/964013“，”volume-title“：”第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集“，”author“：”S.D.Zilio“，”year“：”2004“，”unstructured“：”Zilio，S.D.、Lugiez，D.、Meyssonnier，C.：你可以信赖的逻辑。摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第135页\u2013146页。ACM Press，New York（2004）“}，{”key“：”25_CR5“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1145\/325694.325742“，”volume-title“：”第27届程序设计语言原理研讨会（POPL 2000）“，”author“：”L.Cardelli“，”year“：”2000“，”unstructured“：”Cardelli，L.，Gordon，A.D.：随时随地：移动环境的模态逻辑。第27届程序设计语言原理研讨会（POPL 2000），第365\u2013377页。ACM，New York（2000）“}，{”key“：”25_CR6“，”unstructured“：”Lozes，E.：“分离逻辑保留了经典逻辑的表达能力。如（2004）所发布，http://www.diku.dk\/topps\/space2004\/space_final\/etienne.pdf“}”，{“key”：“25_CR7”，“doi-asserted-by”：“crossref”，“unstructure”：“Lozes，E.：静态空间逻辑中空间连接词的消除。《出现在TCS（2004）》，“DOI”：“10.1016\/j.TCS.2004.10.006”}，{“key”：“25_CR8”，“unstructured”：“Hague，M.：树结构和堆的静态检查程序。硕士论文，伦敦帝国理工学院计算机系（2004），http://www.doc.ic.ac.uk\/~ajf\/Teaching\/Projects\/Distingred04\/MatthewHague.pdf”}doi-asserted-by“：”crossref“，”unstructured“：”Cardelli，L.，Caires，L.：并发的空间逻辑（第一部分）。《信息与计算杂志》186（2）（2003）“，“DOI”：“10.1016\/S0890-5401（03）00137-8”}，{“key”：“25_CR10”，“unstructured”：“Cardelli，L.，Caires，L.：并发的空间逻辑（第二部分）。出现在理论计算机科学（2004）”}中，{第一页“：”597“，”DOI“：”10.1007\/3-540-45465-9_51“，”volume-title“：”Automata，Languages and Programming“，”author“：”L.Cardelli“，”year“：”2002“，”unstructured“：”Cardelli，L.，Gardner，P.，Ghelli，G.：查询图形的空间逻辑。在：Widmayer，P.，Triguero，F.，Morales，R.，Hennessy，M.，Eidenbenz，S.，Conejo，R.（编辑）ICALP 2002。LNCS，卷\u00a02380，第597页。Springer，Heidelberg（2002）“}，{“key”：“25_CR12”，“unstructured”：“Cardelli，L.，Gardner，P.，Ghelli，G.：用指针查询树。未发表的笔记，2003；在APPSEM 2001（2003）上讲话”}，“key“：”25_CR13“，”doi-asserted-by“：”crossref“，”unstructure“：”Calcagno，C.，Gardner-P.，Zarfaty，U.：上下文逻辑和树更新。出现在POPL（2005）中”，“DOI“：”10.1145\/10040305.1040328“}]，“容器标题”：[“计算机科学讲义”，“软件科学与计算结构基础”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-540-31982-5_25.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查“}”，“存放”：{“日期-部分”：[[2020,11,19]]，“日期-时间”：“2020-11-19T04:32:55Z”，“时间戳”：1605760375000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\\link.springer.com\/10.1007\/978-3-540-31982-5_25”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2005]]}，“ISBN”：[“9783540253884”，“9783540319825”]，“references count“：13，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-31982-5_25“，”relation“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[”type“：”print“，”value“：”0302-9743“｝，”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：”date parts“：[[2005]]｝｝