{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,12,21]]，“日期-时间”：“2023-12-21T19:37:06Z”，“时间戳”：1703187426619}，“参考-计数”：15，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-部分”：[2006,5,1]]，”日期-时间“：”2006-05-01T00:00:00Z“，”timestamp“：1146441600000}，”content-version“：“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”：2646，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2006,5]]}，”DOI“：”10.1016\/j.entcs.2006.04.020“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,5,9]]，”date-time“：”2006-05-09T13:22:44Z“，”timestamp“：1147180964000}，参考“，“is-referenced-by-count”：1，“title”：[“Local Reasoning About Tree Update”]，“prefix”：“10.1016”，“volume”：“158”，“author”：[{“给定”：“Uri”，“family”：“Zarfaty”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Philippa”，“家族”：“Gardner”，“序列”：“additional”，“从属关系”：[]}]，“成员”：“78”，“reference”：[}“key”：”10.1016 \/j.entcs.2006.04.020_bib001“，“series-title”：“Web上的数据：从关系到半结构化数据和XML”，“author”：“Abiteboul”，“year”：“1999”}，{“key”：“10.1016\/j.entcs.2006.04.020_bib002”，《unstructured》：“N.Biri.Logiques spatiales de resources，mod\u00e8les d'arbres et applications.University博士论文\u00e 9 Henri Poincar\u00e-9，2005”}、{“key”：“10.1016\/j.entcs.2006.04.020_bib003”，“doi-asserted-by”：“crossref”，”unstructured“：”C.Calcagno，P.Gardner，and U.Zarfaty.Context logic&tree updated.In POPL，pages 271\u20132822005“，”doi“：”10.1145\/1047659.1040328“}，{“key”：“10.116\/j-entcs.202006.04.020_ bib004”，）“unstructure”：”L.Cardelli，P.Gardner，and G。盖利。使用指针查询树。未发表的笔记，2003年；在APPSEM上交谈，2001“}，{”key“：”10.1016\/j.entcs.2006.04.020_bib005“，”doi-asserted-by“：”crossref“，“unstructured”：“L.Cardelli and A.D.Gordon.Anytime，anywhere.Modal logics for mobile ambients.In POPL，pages 365\u20133772000”，“doi”：“10.1145\/325694.325742”}，”{“key”：“101016\/j.entc.2006.04.020_ bib006”，“un结构化”：“G.Conforti，D。马其顿和V.Sassone。XML的Biggraphical逻辑。在SEBD中，第392\u20133992005页“}，{“key”：“10.1016\/j.entcs.2006.04.020_bib007”，“doi-asserted-by”：“crossref”、“unstructured”：“G.Conforti，D.Macedonio，and V.Sassone.大图的空间逻辑。在ICALP中，LNCS 3520，第766\u20137782005页”，“doi”：“101007\/11523468_62”}，}“key:”10.1016\/j.entcs.2006.0 20_bib 008“，”doi-asserted-by“：”crossref“，”非结构化“：”S.Isthiaq和P.W.O'Hearn。BI作为可变数据结构的断言语言。在POPL中，第14\u201326页，2001年“，”DOI“：”10.1145\/373243.375719“}，”key“：”101016\/j.entcs.2006.04.020_bib009“，”unstructured“：”O.H.Jensen和P.Milner.Bigraphs and mobile processes（修订版）.Technical report，University of Cambridge，2004“}”，”{“issue”：“2”，“key”：“10.1016\/j.entc.2006.04.020_ bib010“，”DOI-asserted-by“：”crossref“，“first page”：”215“，”DOI“：”10.2307\/421090“，”article-title“：”捆绑暗示的逻辑“，”volume“：”5“，”author“：”O'Hearn“，”year“：”1999“，”journal-title”：“符号逻辑公报”}，{“key”：“10.1016\/j.entcs.2006.04.020_bib011”，”series-title“：“计算机科学逻辑”，“first page”：”1“，”article-title“：”关于改变数据结构的程序的本地推理“，”volume“：”2142“，”author“：”O'Hearn“，”year“：”2001“}，{“key”：“10.1016\/j.entcs.2006.04.020_bib012”，“doi-asserted-by”：“crossref”，“unstructured”：“j.C.Reynolds.分离逻辑：共享可变数据结构的逻辑。在LICS中，第55\u201374页，2002。邀请论文”，“DOI”：“10.1109\/LICS.2002.1029817”｝，｛“key”：“10.1016\/j.entcs.2006.04.020_bi013”，“DOI断言者”：“crossref”，“非结构化”：“I.Tatarinov、Z.G.Ives、A.Y.Halevy和D.S.Weld。更新XML。在SIGMOD中，第413\u20134242001页”，“DOI”：“10.1145\/376284.375720”｝，｛“key”：“10.1016\/j.entcs.2006.04.020_bi014”，“author”：“W3C”｝，｛“密钥”：“10.1016\/j.entcs.2006.04.020_bib015“，”doi-asserted-by“：”crossref“，”unstructured“：”H.Yang和P.O'Hearn。局部推理的语义基础。在FOSSACS中，第402\u20134162002页“，“DOI”：“10.1007\/3-540-45931-6_28”}]，“container-title”：[“理论计算机科学中的电子笔记”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066106001745？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“内容-版本”：“vor”，“intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066106001745？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2019,4,18]]，“date-time”：”2019-04-18T14:57:17Z“，“timestamp”：1555599 437000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066106001745”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006,5]]}，”references-count“：15，”alternative-id“：[”S1571066106001.745“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2006.04.04 20“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-0661“，”type“：”print“}]，”subject“：[]，”published“：{”date-parts“：[[2006,5]]}}