{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T07:32:54Z”，“时间戳”：1725867174487}，“出版商位置”：“查姆”，“参考计数”：35，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319479576“}，{”类型“：”电子“，“value”：“9783319479583”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]iner-title“：[]，”published-print“：{”date-parts“：[2016]]}，“DOI”：“10.1007\/978-3-319-47958-3_23”，“type”：“book-chapter”，“created”：{“date-parts”：[[2016,10,8]]，“date-time”：“2016-10-08T09:40:52Z”，“timestamp”：1475919652000}，”page“444-463”，”source“：”Crossref“，”is-referenced-by-count“：3，”title“：[”一阶抽象分离逻辑的完整性“]，”前缀“10.1”007“，”作者“：[{”给定“：“Zh\u00e9”，“family”：“H\u00f3u”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Alwen”，“family”：“Tiu”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“publisher online”：｛“date parts”：[[2016,10,9]]｝，“reference”：[｛“key”：“23_CR1”，“doi asserted by”：“publisher”，“nonstructured”：“Berdine，J.，Calcagno，C.，O\u2019Hearn，P.W.：Smallfoot：带分离逻辑的模块化自动断言检查。收录：Boer，F.S.，Bonsange，M.M.，Graf，S.，Roever，W.-P.（编辑）FMCO 2005。LNCS，第4111卷，第115\u2013137页。施普林格，海德堡（2006）。doi:10.1007\/11804192_6“，”doi“：”10.1007\/1184192_6“}，{“key”：“23_CR2”，“doi-asserted-by”：“publisher”，“unstructured”：“Berdine，J.，Calcagno，C.，O\u2019Hearn，P.W.：带分离逻辑的符号执行。In:Yi，K.（ed.）APLAS 2005。LNCS，第3780卷，第52页\u201368。斯普林格，海德堡（2005）。doi:10.1007，“11575467_5”，“doi”：“10.1007”，{“key”：“23_CR3”，“doi-asserted-by”：“crossref”，“first-page”：“106”，“doi”：”10.1016\/j.ic.2011.12.003“，“volume”：”211“，“author”：“R Brochenin”，“year”：“2012”，“unstructured”：“Brochenim，R.，Demri，S.，Lozes，E.：On the allowty wand.Inf.计算211，106\u2013137（2012）“，”日志标题“：”信息计算“}，{“issue”：“1\u20133”，“key”：“23_CR4”，“doi-asserted-by”：“crossref”，“first-page”：“227”，“doi”：“10.1016\/j.tcs.2006.12.034”，“volume”：”375“，“author”：“S Brookes”，“year”：“2007”，“unstructured”：“Brookes，S.：并发分离逻辑的语义。Theor.Comput.Sci.375（1\u2013），227\u2013270（2007）”，“journal-title”：“Theor.Comput.Sci.”}，{“key”：“23_CR5”，“首页”：“197”，“卷”：“265”，《作者》：“J Brotherston”，“年份”：“2010”，“非结构化”：“BrotherstonJ.：聚束逻辑的统一显示证明理论。ENTCS 265197\u2013211（2010）”，“日志标题”：“ENTCS”}，{“key”：“23-CR6”，“series-title”：“计算机科学讲义（人工智能讲义）”，”doi-asserted-by“：“publisher”，“first page”：“131”，”DOI“：”10.1007\/978-3642-22438-6_12“，”volume-title“：”Automated Deduction\u2013 CADE-23“，”author“：”J Brotherston“，”year“：”2011“，”unstructured“：”Brotherston-，J.，Distefano，D.，Petersen，R.L.：分离逻辑中的自动循环蕴涵证明。in：Bj\u00f8rner，N.，Sofrone-Stokkermans，V.（eds.）CADE 2011。LNCS（LNAI），第6803卷，第131\u2013146页。斯普林格，海德堡（2011）。doi:10.1007\/978-3642-22438-6_12“}，{“问题”：“2”，“关键”：“23_CR7”，“doi-asserted-by”：“出版商”，“首页”：“14:1”，“doi”：“10.1145\/2542667”，“卷”：“61”，“作者”：“J Brotherston”，“年份”：“2014”，“非结构化”：“Brotherstone，J.，Kanovich，M.：命题分离逻辑及其邻域的不确定性。J.ACM 61（2），14:1\u2013 2014年14月43日.doi:10.1145\/2542667“，”journal-title“：”J.ACM“}，{“key”：“23_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Brotherston，J.，Villard，J.：分离理论的参数完备性。摘自：POPL，pp.453\u2013464。ACM（2014）“，“DOI”：“10.1145\/2535838.2535844”}，{“key”：“23_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Calcagno，C.，O\u2019Hearn，P.W.，Yang，H.：局部动作和抽象分离逻辑。摘自：LICS，第366\u2013378页。IEEE（2007）“，“DOI”：“10.1109\/LICS.2007.30”}，{“key”：“23_CR10”，“DOI-asserted-by”：“publisher”，“unstructured”：“Calcagno，C.，Yang，H.，O\u2019Hearn，P.W.：数据结构空间断言语言的可计算性和复杂性结果。收录：Hariharan，R.，Vinay，V.，Mukund，M.（编辑）FSTTCS 2001。LNCS，第2245卷，第108页\u2013119。斯普林格，海德堡（2001）。doi:10.1007\/3-540-45294-X10“，”doi“：”10.1007\/3-500-45294-X10“}，{“key”：“23_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Demri，S.，Deters，M.：带两个变量且无分离合取的分离逻辑的表达式完整性。In:CSL \/LICS（2014）”，“doi”：“10.1145\/2603088.2603142”}，“key“：”23_CR12“，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“125”，“doi”：“10.1007\/978-3-319-06686-8_10”，“volume-title”：“计算机科学-理论与应用”，“author”：“S Demri”，“year”：“2014”，“unstructured”：“Demri，S.，Galmiche，D.，Larchey-Wendling，D.，M\u00e9ry，D.：一个量化变量的分离逻辑。收录人：Hirsch，E.A.，Kuznetsov，S.O.，Pin，J.\u00c9.，Vereshchagin，N.K.（编辑）CSR 2014。LNCS，第8476卷，第125\u2013138页。斯普林格，海德堡（2014）。doi:10.1007\/978-3-319-06686-8_10“}，{“key”：“23_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”161“，“doi”：“10.1007\/968-3642-10672-9_13”，”volume-title“：”编程语言和系统“，”author“：”R Dockins“，”年份“：”2009“，”非结构化“：”Dockins，R.，Hobor，A.，Appel，A.W.：分离代数和共享核算的新视角。收录人：Hu，Z.（编辑）APLAS 2009。LNCS，第5904卷，第161\u2013177页。斯普林格，海德堡（2009）。doi:10.1007\/978-3-642-10672-9_13“}，{“问题”：“6”，“关键”：“23_CR14”，“首页”：“1033”，“卷”：“15”，“作者”：“D Galmiche”，“年份”：“2005”，“非结构化”：“Galmich，D.，M\u00e9ry，D.，Pym，D.：BI和资源表的语义。MSCS 15（6），1033\u20131088（2005）”，“日志标题”：“MSCS”}，：“1”，“key”：“23_CR15”，“doi-asserted-by”：“crossref“，”first page“：”189“，“DOI”：“10.1093\/logcom\/exn066”，“volume”：“20”，“author”：“D Galmiche”，“year”：“2010”，“unstructured”：“Galmich，D.，M\u00e9ry，D.：分离逻辑的Tableaux和资源图。J.逻辑计算。20（1），189\u2013231（2010）“，“期刊标题”：“逻辑计算杂志”。“}，{”key“：”23_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”H\u00f3u，Z.，Clouston，R.，Gor\u00e9，R.、Tiu，A.：通过标记序列对命题抽象分离逻辑进行证明搜索。In:POPL（2014）“，”doi“：”10.1145\/2535838.2535864“}、{”key“：“23_CR17”，”series-title“：”计算机科学课堂讲稿（人工智能课堂讲稿）“，”doi-asserted-by“：”publisher“，”first page“：”501“，“doi”：“10.1007\/978-3-319-21401-6_34”，“volume-title”：“Automated Deduction\u2013 CADE-25”，“author”：“Z H\u00f3u”，“year”：“2015”，“unstructured”：“H\u100f3u，Z.，Gor\u00e9，R.，Tiu，答：用所有连接词对分离逻辑中的断言进行自动定理证明。收件人：Felty，A.P.，Middeldorp，A.（编辑）CADE 2015。LNCS（LNAI），第9195卷，第501\u2013516页。斯普林格，海德堡（2015）。doi:10.1007\/978-3-319-21401-6_34“}，{“key”：“23_CR18”，“unstructured”：“H\u00f3u，Z.，Tiu，A.：一阶抽象分离逻辑的完整性[cs.LO]（2016）.arXiv:1608.06729”}，}“key:”23_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”377“，”doi“：”10.1007\/978-3642-2 8869-2_19英寸“volume-title”：“Programming Languages and Systems”，“author”：“JB Jensen”，“year”：“2012”，“unstructured”：“Jensen，J.B.，Birkedal，L.：虚构分离逻辑。在：Seidl，H.（编辑）ESOP 2012。LNCS，第7211卷，第377\u2013396页。施普林格，海德堡（2012）。doi:10.1007\/978-3642-28869-2_19“}，{“key”：“23_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Krishnaswami，N.R.：使用分离逻辑推理迭代器。收录：SAVCBS，第83\u201386页。ACM（2006）”，“DOI”：“10.1145\/11811985181213”｝，｛“issue”：“2”，“key”：“23_CR21”，“首页”：“605”，“卷”：“26”，“作者”：“D Larchey Wendling”，“年份”：“2014”，“非结构化”：“Larchey Wendling，D.：偏单体布尔BI的形式强完备性。JLC 26（2），605\u2013640（2014）”，“期刊标题”：“JLC”｝，｛“issue”：“3”，“key”：“23 _CR22“，”第一页“：“435”，“卷”：“19”，“作者”：“D Larchey-Wendling”，“年份”：“2009”，“非结构化”：“Larchey Wendlinng，D.，Galmiche，D.：探索直觉BI和布尔BI之间的关系：一种意想不到的嵌入。MSCS 19（3），435\u2013500（2009）”，“期刊标题”：“MSCS”}，｛“key”：“23_CR23”，“doi断言”：“crossref”，“非结构化”：“Larchey Wendling，D.，Galmiche，D.：通过相位语义的布尔BI的不可判定性。在：LICS，pp.140\u2013149（2010）”，“doi”：“10.1109\/LICS.2010.18”}，｛“key”：“23_CR24”，“系列标题”：“计算机科学讲义”doi-asserted-by“：”publisher“，”first page“：”326“，”doi“：”10.1007\/978-3662-44602-7_25“，”volume-title“：”Theory Computer Science“，”author“：”D Larchey-Wendling“，”year“：”2014“，”unstructured“：”Larchey Wendling，D.，Galmiche，D.：研究布尔BI-eyes的分离代数。收录人：Diaz，J.、Lanese，I.、Sangiorgi，D.（编辑）TCS 2014。LNCS，第8705卷，第326\u2013340页。斯普林格，海德堡（2014）。doi:10.1007\/978-3662-44602-7_25“}，{“key”：“23_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Lee，W.，Park，S.：使用魔术棒的分离逻辑证明系统。收录：POPL，pp.477\u2013490。ACM（2014）“，”DOI“：”10.1145\/2535838.2535871“}，{”key“：”23_CR26“，”DOI-asserted-by“：”crossref“，”unstructured“：”Maeda，T.，Sato，H.，Yonezawa，A.：使用分隔含义的扩展别名类型系统。In:TLDI，pp.29\u201342。ACM（2011）“，“DOI”：“10.1145\/1929553.1929559”}，{“key”：“23_CR27”，“unstructured”：“P\u00e9rez，J.A.N.，Rybalchenko，A.：分离逻辑+叠加演算=堆定理证明器。In:PLDI.ACM（2010）”}中，{《问题》：“2”，“key“23_CR2”，“首页”：“215”，“卷”：“5”，《作者》：“PWO\u2019Hearn”，“年份”：“1999”，“非结构化”：“O\u2019Hearn，P.W.，Pym，D.J.：集群含义的逻辑。BSL 5（2），215\u2013244（1999）“，“journal-title”：“BSL”}，{“key”：“23_CR29”，“doi-asserted-by”：“publisher”，“unstructured”：“O\u2019Hearn，P.，Reynolds，J.，Yang，H.：关于改变数据结构的程序的局部推理。In:Fribourg，L.（ed.）CSL 2001。LNCS，第2142卷，第1\u201319页。斯普林格，海德堡（2001）。doi:10.1007“，”doi“：”10.1007“/3-540-44802-0_1“}，{”key“：”23_CR30“，”doi-asserted-by“：”crossref“，“unstructured”：“Park，J.，Seo，J.、Park，S.：布尔BI的定理证明器。In:POPL 2013，New York，NY，USA，pp.219\u2013232（2013）”，“doi”：“10.1145”/24229069.2429095“}”，{“key”：“23_CR31”，“doi-assert”ted-by“：”crossref“，”unstructured“：”Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。收录于：LICS，第55\u201374页。IEEE（2002）“，”DOI“：”10.1109\/LICS.2002.1029817“}，{”key“：”23_CR32“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“333”，“DOI”：“10.1007\/3-540-58025-5_65”，“volume-title”：“逻辑编程的扩展”，“author”：“Peter Schroeder-Heister”，“year”：“1994”，“unstructured”：“施罗德·海斯特（Peter Schroeder-Heister）：定义反思和完成。收录：Dyckhoff，Roy（编辑）ELP 1993。LNCS，第798卷，第333\u2013347页。斯普林格，海德堡（1994）。doi:10.1007\/3-540-58025-5_65“}，{“key”：“23_CR33”，“doi-asserted-by”：“crossref”，“unstructured”：“Thakur，A.，Breck，J.，Reps，T.：带链表的分离逻辑的可满足模抽象。摘自：SPIN 2014，pp.58\u201367（2014）”，“doi”：“10.1145\/2632362.2632376”}，}“volume-title”：“基本证明理论”，“年份”：“1996”，“作者”：“AS Troelstra”，“”key“：”23_CR34“，”unstructured“：”Troelstra，A.S.，Schwichtenberg，H.：基本证明理论。剑桥大学出版社，纽约（1996）“}，{”key“：”23_CR35“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“256”，”doi“：”10.1007\/978-3-540-74407-8_18“，”volume-title“：“CONCUR 2007\u2013 Concurrency Theory”，“author”：“V Vafeiadis”，“year”：“2007”，“unstructured”：“Vafeiadis，V.，Parkinson，M.：依赖/保证和分离逻辑的结合。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第4703卷，第256\u2013271页。斯普林格，海德堡（2007）。doi:10.1007\/978-3-540-74407-8_18“}]，“container-title”：[“计算机科学课堂讲稿”，“编程语言和系统”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/9783-319-47958-3_23”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2017,6,24]]，“date-time”：“2017-06-24T20:40:33Z”，“timestamp”：1498336833000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/978-3319-47958-3_23“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[2016年]}，”ISBN“：[”9783319479576“，”9783318479583“]，”references-count“：35，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-47958-3_23“，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[2016]]}}}}