{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T14:27:06Z”，“时间戳”：1725460026054}，“出版商位置”：“波士顿”，“参考计数”：14，“出版者”：“克鲁沃学术出版社”，“isbn-type”：[{“类型”：”打印“，“值”：“1402081405”}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/1-4020-8141-3_30”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,2,21]]，“date-time”：“2006-02-21T15:15:11Z”，“timestamp”：1140534911000}，《page》：“381-394”，“source”：对于TQL Logic“]，”前缀“：“10.1007”，“author”：[{“given”：“Iovka”，“family”：“Boneva”，”sequence“：“first”，”affiliation“：[]}，{“given”:“Jean-Marc”，”family“：”Talbot“，”segment“：”additional“，”afliation“:[]}]，“member”：“297”，“reference”：[}“unstructured”：“Abiteboul，S.，Buneman，P.，and Suciu，D.（2000）。网络数据。Morgan Kaufmann Publishers。”，“key”：“30_CR1”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Cardelli，L.（2000）。半结构计算。第七届数据库编程语言国际研讨会，DBPL\u201999，LNCS，第1\u201316页。斯普林格。“，”key“：”30_CR2“，”DOI“：”10.1007\/3-540-44543-9_1“}，{”key”：“30_CR3”，“首页”：“1”，“卷”：“2028”，“作者”：“L.Cardelli”，“年份”：“2001”，“非结构化”：“Cardelli，L.和Ghelli，G.（2001）。基于环境逻辑的查询语言。欧洲编程研讨会（ESOP\u201901），LNCS第2028卷，第1\u201322页。斯普林格。“，”journal-title“：”LNCS“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Cardelli，L.和Gordon，A.D.（2000a）。Anytime，Anywhere:Mobile Ambients的模态逻辑。在第27届ACM编程语言原理研讨会（POPL\u201900）上，第365\u2013377页。”，“key”：“30_CR4”，“doi”：“10.1145 \/325694.325742”}，“{”key“：”30_CR5“，”“”publisher”，“首页”：“177”，“DOI”：“10.1016/S0304-3975（99）00231-5”，“卷”：“240”，“作者”：“L.Cardelli”，“年份”：“2000”，“非结构化”：“Cardelli，L.and Gordon，A.D.（2000b）。移动环境。理论计算机科学，240:177\u2013213.“，”杂志标题“：”理论计算机科学“}，{”关键词“：”30_CR6“，”首页“：”152“，”卷“：”2030“，”作者“：”W.Charatonik“，”年份“：”2001“，”非结构化“：”Charatonick，W.，Dal Zilio，S.，Gordon，A.D.，Mukhopadhyay，S.和Talbot，J.-M.（2001）.模型检查移动环境的复杂性。《软件科学和计算结构基础》（FoSSaCS\u201901），LNCS第2030卷，第152\u2013167页。斯普林格。“，”journal-title“：”LNCS“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Courcelle，B.（1990a）。图形重写：代数和逻辑方法。《理论计算机科学手册》，B卷。Elsevier。“，”key“：”30_CR7“，”doi“：”10.1016\/B978-0-444-88074-1.50010-X“}”，{”issue“：”1“，”key“：“30_CR8”，”doi-assert-by“，”first page“：“12”，“DOI“：”10.1016\/0890-5401（90）90043-H“，”卷“：”85“，”作者“：”B.Courcelle“，”年份“：”1990“，”非结构化“：”Courcelle，B.（1990b）。图的一元二阶逻辑。有限图的可识别集。信息与计算，85（1）：12\u201375.“，“journal-title”：“信息与计算”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Dal-Zilio，S.和Lugiez，D.（2003）.XML Schema，Tree Logic and Sheeves Automata.In Rewriting Technologies and Applications，第14届国际会议，RTA 2003，LNCS，第246\u2013263页。斯普林格。“，”key“：”30_CR9“，”DOI“：”10.1007\/3-540-44881-0_18“}，{“key”：“30_CR10”，“首页”：“2”，“卷”：“2471”，“作者”：“F.Neven”，“年份”：“2002”，“非结构化”：“Neven，F.（2002）。自动化、逻辑和XML。欧洲计算机科学逻辑协会年会（CSL\u2019 02），LNCS第2471卷，第2\u201326页。斯普林格。“，”journal-title“：”LNCS“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Seidl，H.，Schwentick，T.，and Muscholl，A.（2003）。数字文档查询。第二十二届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会，第155\u2013166页。ACM公司。“，”key“：”30_CR11“，”DOI“：”10.1145\/77313.773169“｝，｛”key“：”30_CR12“，”DOI断言者“：”crossref“，”首页“：”161“，”DOI“：”10.1016\/00304-3975（90）90110-4“，”卷“：”89“，”作者“：”C.Stirling“，”年份“：”1991“，”非结构化“：”Stirling，C.and Walker，D.（1991）.模态微积分中的局部模型检查。理论计算机科学，89:161\u2013177.“，”journal-title“：”Theoryal Computer Science“}，{”issue“：”1“，”key“：”30_CR13“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1016\/0304-3975（76）90061-X“，”volume“：多项式时间层次。理论计算机科学，3（1）：1\u201322.“，”journal-title“：”Theoryal Computer Science“}，{“key”：“30_CR14”，“doi-asserted-by”：“publisher”，“first-page”：“157”，”doi“：”10.1016\/0304-3975（91）90043-2“，”volume“：”83“，”author“：”G.Winskel“，”year“：”1991“，”unstructured“：”Winskel，G.（1991）.关于模态\u03c5计算的模型检查的注意事项。理论计算机科学，83:157\u2013167.”，“新闻标题”：“理论计算机科学”}]，“容器标题”：[“IFIP国际信息处理联合会”，“探索理论信息学的新前沿”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/1-4020-8141-3_30.pdf“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,4,27]]，“date-time”：”2021-04-27T20:28:16Z“，“timestamp”：1619555296000}，“score”：1，“resource”:{“primary”：“{”URL“：”http:\/\/link.springer.com/10.1007\/1-4020-8141-3_30“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，“ISBN”：[“1402081405”]，”引用计数“：14，”URL“：”http://\/dx.doi.org\/10.10007\/1-4020-8141-3_30