{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:42:24Z”，“时间戳”：1725486144417}，“出版商位置”：“柏林，海德堡”，“参考计数”：31，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540008972“}，{”类型“：“electronic”，“value”：“9783540365761”}]，“license”：[｛“start”：｛“date parts”：[[2003,1,1]]，“date time”：“2003-01-01T00:00:00Z”，“timestamp”：1041379200000｝，“content version”：“tdm”，“delay in days”：0，“URL”：“https://www.springer.com\/tdm”｝，｛“start”：｛“date parts”：[[2003,1,1]]，“date time”：“2003-01-01T00:00:00Z”，“timestamp”“：1041379200000｝，”内容版本“：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2003]]}，”DOI“：”10.1007\/3-540-36576-1_14“，”类型“：”book-capter“，”created“：{”date-part“rts“：[2007,6,12]，”日期时间“：”2007-06-12T02:42:17Z“，“timestamp”：1181616137000｝，“page”：“216-230”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：17，“title”：[“使用隐藏标签操纵树”]，“prefix”：“10.1007”，“author”：[｛“给定”：“Luca”，“family”：“Cardelli”，“sequence”：“first”，“affiliation”：[]｝，｛“给定”：“Philippa”，“family”：“Gardner”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Giorgio”，“family”：“Ghelli”，“serquence”:“additionable”，“filiation“：[]{”，“member”：“297”，“published-on-line”：{“date-parts”：[[2003,2,28]]}；“reference”：[{“key”：”14_CR1“，“unstructured”：“S.Abiteboul，P.Buneman，D.Suciu.：Web上的数据。Morgan Kaufmann Publishers，2000.“}，{”问题“：”5“，”关键“：“14_CR2”，“doi-asserted-by”：“publisher”，“first page”：“798”，“doi”：“10.1145\/290179.290182”，《volume》：“45”，“author”：“S.Abitebool”，“year”：“1998”，“unstructured”：“S.Abitebool，P.Kanellakis：作为查询语言原语的对象标识。ACM杂志，45（5）：798\u20138421998。第一个版本出现在SIGMOD\u201989中。维纳。半结构化数据的Lorel查询语言。国际数字图书馆杂志，1（1），pp.68\u2013881997年4月。“，“Journal-title”：“国际数字图书馆期刊”}，{“key”：“14_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“M.P.Atkinson，F。Bancilhon等人：面向对象数据库系统宣言。《构建面向对象的数据库系统》，《O2的故事》，1992年，第3\u201320页。“，”DOI“：”10.1145\/130283.130289“}，{”key“：”14_CR5“，”DOI-asserted-by“：”crossref“，”unstructured“：”V.Benzaken，G.Castagna，A.Frisch:CDuce:A白皮书。PLAN-X：XML编程语言技术，宾夕法尼亚州匹兹堡，2002年10月。http://www.cduce.org.“，“DOI”：“10.1145\/944705.944711”}，{“key”：“14_CR6”，“unstructured”：“S.Boag，D.Chamberlin，M.F.Fernandez，D.Florescu，J.Robie，J.Sim\u00e9on:XQuery 1.0:An XML Query Language，W3C Working Draft，2002，http://www.w3.org\/TR\/XQuery.”}C.M.Sperberg-McQueen，E。Maler：可扩展标记语言（XML）1.0（第二版），W3C文档，http://www.w3.org\/TR\/REC-XML。“}，{”key“：”14_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Buneman，S.B.Davidson，G.G.Hillebrand，D.Suciu:非结构化数据的查询语言和优化技术。SIGMOD Conference 1996，pp.505\u2013516。“，”doi“：”10.1145\/235968.233368“}”，{“key”：“14_CR9”，“unstructure”：“L。Caires：具有并发性和移动性的声明式编程和规范模型。里斯本诺维德大学联邦贸易委员会信息部博士论文，1999年。程序。TACS 2001，Naoki Kobayashi和Benjamin C.Pierce（编辑）。LNCS公司。2215.斯普林格，2001，pp 1\u201337。出现在懒散中；C.“}，{”key“：”14_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Caires，L.Cardelli:A Spatial Logic for Concurrency:Part II.Proc.CONCUR\u2019022002.“，”doi“：”10.1007\/3-540-45694-5_15“}”，{“key”：“14_CR12”，“unstructure”：“C.Calcagno，L.Cardelli，A.D.Gordon，Deciming Validity in A Spatial逻辑学for Trees.Draft.”}，“key“”：“14 _CR12 3“，”doi-asserted-by“：”crossref“，”unstructured“：”C.Calcagno，H.Yang，P.W.O'Hearn：数据结构空间断言语言的可计算性和复杂性结果。程序。FSTTCS 2001，pp.108\u2013119.“，”DOI“：”10.1007\/3-540-45294-X_10“}，{”key“：”14_CR14“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，”first page“：“597”，“DOI”：“10.1007\-3-540-45465-9_51”，“volume-title”：“查询图形的空间逻辑”，“author”：“L.Cardelli”，“year”：“2002”，“unstructured”：“L.Cardelli，P.Gardner，G。Ghelli，查询图形的空间逻辑。程序。ICALP\u201902，Peter Widmayer等人（编辑）。LNCS 2380，斯普林格出版社，2002年。pp 597\u2013610.“}，{“key”：“14_CR15”，“series-title”：“Lect Notes Compute Sci”，“first page”：”1“，“volume-title”：”基于环境逻辑的查询语言“，“author”：“L.Cardelli”，“year”：“2001”，“unstructured”：“L·Cardelli，G.Ghelli，A Query Language Based on the Ambient Logic.Proc.ESOP\u201901，David Sands（Ed.）.LNCS 2028，Springer，2001，pp.1\u201322。“}，{“key”：“14_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“L.Cardelli，A.D.Gordon，Anytime，Anywhere.移动环境的模态逻辑。第27届ACM编程语言原理研讨会议事录，2000，pp.365\u2013377。”，“doi”：“10.1145 \/325694.325742”}，}，“key“：”14_CR17“，“unsructured“：”S。Cluet、S.Jackmin和J.Simeon。新YATL：设计和规范。INRIA，1999.“}，{”key“：”14_CR18“，”unstructured“：”E.Cohen:有限多集逻辑的有效性和模型检查。Draft.“}”，{“key”：“14_CR19”，“unstructure”：“D.Florescu，A.Deutsch，A.Levy，D.Suciu，M.Fernandez:XML的查询语言。第八届国际万维网会议，1999年。”}doi-asserted-by“：”publisher“，”first-pages“：”4“，”doi“：”10.1145\/262762.262763“，”volume“：”26“，”author“：”D.Florescu“，“year”：“1997”，“unstructured”：“D.Florescus，A.Levy，M.Fernandez，D.Suciu，网站管理系统的查询语言。SIGMOD记录，第26卷，第3期，第4\u2013111997年9月。Pitts，涉及活页夹的抽象语法的新方法。程序。LICS1999.IEEE计算机学会出版社，1999年。pp 214\u2013224.“}，{“key”：“14_CR23”，“unstructured”：“M.J.Gabbay：FM-HOL，高阶名称理论。《自动化35年》，爱丁堡赫里奥特大学，2002年4月。信息处理。，2002.“}，{”key“：”14_CR24“，”series-title“：”Lect Notes Compute Sci“，”volume-title“：“安全分析和设计的基础”，“author”：“A.D.Gordon”，“year”：“1998”，“unstructured”：“A.D.Gordon:关于安全性和移动性的标称计算的注释。R.Focardi，R.Gorrieri（编辑）：《安全分析与设计基础》。LNCS 2171。Springer，1998.“}，{”key“：”14_CR25“，”doi-asserted-by“：”publisher“，”first page“：“119”，“doi”：“10.1016\/S1571-0661（04）80959-9”，“volume”：“45”，“author”：“Andrew D.Gordon”，“year”：“2001”，“unstructured”：“A.D.Gordon，A。Jeffrey：为通信协议键入对应断言。MFPS 17，Elsevier Electronic Notes in Theory Computer Science，Vol 45，2001。“，“journal-title”：“Electronics Notes in the Theory Computer Scence”}，{“key”：“14_CR26”，“first page”：《226》，“volume-title》：“Telection Notes in Computer Science”，“author”：“Haruo Hosoya”，“year”：“2001”，“unstructured”：“H.Hosoya，B.C。Pierce:XDuce:一种类型化的XML处理语言（初步报告）。WebDB（论文集）2000，pp:226\u2013244“}，{“key”：“14_CR27”，“unstructured”：“R.Milner:Communicating and Mobile Systems:the \u03c0-Calculus.Cambridge U.Press，1999.”}，}“issue”：“2”，“key“：”14_CR28“，”doi-asserted-by“：”publisher“，”first page“：“215”，“doi”：“10.2307//421090”，“volume”：”，“author”：“P.W.O\u2019Hearn”，“年份”：“1999”，“非结构化”：“P.W.O'Hearn，D.Pym：捆绑含义的逻辑。符号逻辑公报5（2），第215\u20132441999页。”，“期刊标题”：“符号逻辑公报”}，｛“key”：“14_CR29”，“doi断言”：“crossref”，“非结构化”：“P.W.O'Hearn，J.C.Reynolds，H.Yang:关于改变数据结构的程序的本地推理。Proc.CSL 2001，pp.1\u201319.”，“doi”：“10.1007\/3-540-444802-0_1”｝，｛“key”：“14_CR30”，“series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：”219“，”doi“：”10.1007\/3-540-45500-0_11“，”volume-title“：“名词逻辑，名称和约束的一阶理论”，“author”：“A.M.Pitts”，“year”：“2001”，“unstructured”：“A.M.Pitt：名词逻辑，一阶名称和约束理论。程序。TACS 2001，Naoki Kobayashi和Benjamin C.Pierce（编辑）。LNCS 2215。Springer，2001年，第219\u2013242页。“}，{“key”：“14_CR31”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”230“，“doi”：“10.1007\/10722010_15”，“volume-title”：”MPC“，”author“：”A.M.Pitts“，“year”：“2000”，“unstructured”：“A.M.Bitts，M.J.Gabbay：一种具有边界名称模块重命名的编程元语言。R。Backhouse和J.N.Oliveira（编辑）：MPC 2000，LNCS 1837，Springer，第230\u2013255页unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,8,27]]，”date-time“：”2021-08-27T12:04:10Z“，”timestamp“：16300658500000}，”score“：1，”resource:{“primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/3-540-36576-1_14”}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2003]]}，“ISBN“：[”9783540008972“，”978354365761“]，”references-count“：31，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-36576-1_14“，”relation“：{}，”ISSN“：【”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“电子”，“值”：“1611-3399”}]，“subject“：[]，”published“：{”date-parts“：[[2003]]}，”assertion“：[{”value“：”2003年2月28日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“此内容已向所有人开放。”，“name”:“free”，“标签”：“free to read”}]}}