{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,4,7]]，“日期-时间”：“2024-04-07T02:49:08Z”，“时间戳”：1712458148668}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：24，“发布商”：“ACM”，“内容-域”：[dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2008,1,7]]}，“DOI”：“10.1145\/1328438.1328453”，“type”：“proceedings-article”，“created”：{“date-ports”：[2008,1,1]]，“date-time”：“2008-01-07T14:45:40Z”，“timestamp”：1199717140000}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：32，”title“：[“分离逻辑中程序终止的循环证明”]，“前缀”：“10.1145”，“作者”：[{“给定”：“詹姆斯”，“家族”：“布罗瑟斯顿”，“序列”：“第一”，“从属关系”：[}“名称”：“英国伦敦帝国理工学院”}]}：“Middlesex University，London，United Kingdom”}]}，{“given”：“Cristiano”，“family”：“Calcagno”，“sequence”：“additional”，“affiliation”：[{“name”：“Imperial College London”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2008,1,7]]}，“reference”：[[{”key“：”e_1_3_2_1_1_1_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0049-237X（08）71120-0”}，{“key”：“e_1_3_2_1_1”，“首页”：“2007”，“author”：“Ben-Amram Amir M”，“year”：“07”，“unstructured”：“Amir M.Ben-Amran and Chin-Soon Lee。终止尺寸更改的排名函数II。发表于（Hofbauer and Serebrenik 2007），2007。Amir M。Ben-Amram和Chin-Soon Lee。尺寸变化终止的排序函数二。发表于（Hofbauer and Serebrenik 2007），2007年。“，”journal-title“：”Hofbaue and Sereblenik“}，{“key”：“e_1_3_2_1_3_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/11575467_5”}，“key“：”e_1_ 3_2_1_4_1“，”doi-assert-by“：”publisher“，“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/11817963_35“}，{”key“：”e_1_3_2_1_6_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1190216.1190249”}，{“key”：“e_1_s_2_1_7_1”，”volume-title“：“SPACE Workshop”，“author”：“Bornat Richard”，“year”：“2004”，“unstructured”：“理查德·博纳特、克里斯蒂亚诺·加尔卡尼奥和彼得·奥赫恩。局部推理、分离和混叠。2004年空间讲习班。理查德·博纳特、克里斯蒂亚诺·加尔卡尼奥和彼得·奥赫恩。局部推理、分离和混叠。在SPACE Workshop，2004年。“}，{”key“：”e_1_3_2_1_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/11554554_8”}，“key”：“e_1_ 3_2_1 _9_1”，“series-title”：“LNCS”，“first page”：”87“，”volume-title“：”SAS-14“，”author“：”Brotherston James“，年”：“2007”，“非结构化”：“詹姆斯·布罗瑟斯顿。在串含义逻辑中形式化归纳推理。在SAS-14中，LNCS第4634卷，第87-103页。Springer-Verlag，2007年8月。詹姆斯·布罗斯顿。在串含义逻辑中形式化归纳推理。在SAS-14中，LNCS第4634卷，第87-103页。Springer-Verlag，2007年8月。“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2007.16“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/1182330_13”}，“key“”：”e_ 1_3_2 _13_1“，“doi asserted-by”：”publister“，”“doi 91372_19“}，{“键”：“e_1_3_2_14_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/1250734.1250764“}，{“key”：“e_1_3_2_15_1”，“volume-title”：“Hofbauer和Alexander Serebrenik.第九届国际终止研讨会”，“author”：“Dieter”，“year”：“2007”，“unstructured”：“迪特尔·霍夫鲍尔和亚历山大·塞雷布雷尼克。第九届国际终止研讨会。法国巴黎，2007年。迪特尔·霍夫鲍尔和亚历山大·塞雷布雷尼克。第九届国际终止研讨会。法国巴黎，2007年。“}，{”key“：”e_1_3_2_1_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/360204.360210”}，“key”：“e_1_ 3_2_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/978-3540-31987-0_10“}”，{\/S0049-237X（08）70847-4“}，{“key”：“e_1_3_2_19_1”，“doi-asserted-by”：“publisher“，”DOI“：”10.2307\/421090“}，{“key”：“e_1_3_2_1_20_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.5555\/645683.664578”}，“key“：”e_1_ 3_2_1_2 1_1“，”DOI-assert-by“：”publisher“DOI”：“10.5555\/646794.704839”}，{“key”：“e_1_3_2_1_23_1”，“DOI-asserted-by”：“publisher“，”DOI“：”10.5555\/1754809.1754838“}，{“key”：“e_1_3_2_1_24_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/964020”}，“key“：”e_1_ 3_2_1_2 _25_1“，“first page”：”2303“，”author“：”Yang H.，“year”：“2002”，“unstructured”：“H.Yang and P.O'Hearn。局部推理的语义基础。第五届FOSSACS，LNCS 23032002。H.Yang和P。奥赫恩。局部推理的语义基础。在第五届FOSSACS，LNCS 23032002年。“，“journal-title”：“LNCS”}]，“event”：{“name”：“POPL08:第35届ACM SIGPLAN-SIGACT编程语言原理研讨会”，“location”：“San Francisco California USA”，“缩写词”：“POPL08”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“ACM计算机协会”，“SIGACT ACM算法和计算理论特别兴趣小组“]}，“container-title”：[“第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1328438.1328453”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,9,4]]，”date-time“：”2023-09-04T20:30:18Z“，”timestamp“：1693859418000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328453”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2008,1,7]]}，“引用计数”：24，“alternative-id“：[”10.1145\/1328438.1328453“，”10.1145\/1328438“]，”URL“：”http://\/dx.doi.org\/10.1145\/13284 38.1328454“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145 \/1328897.1328453“]}，“断言”：[{“value”：“2008-01-07”，“order”：2，“name”：“published”，“label”：“已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}