{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,2]，“日期-时间”：“2024-03-02T07:03:33Z”，“时间戳”：1709363013440}，“参考-计数”：67，“出版商”：“IEEE”，“许可证”：[{“开始”：“日期-部分”：[2021,6,29]]，“日期时间”：”2021-06-29T00:00:00Z“，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“dellay-in-days”：0 content-domain“：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470673”，“type”：“proceedings-article”，“created”：{“date-parts”：[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，”source“Crossref”，“is-referenced-by-count”：9，“title”：[“Bunched Logic的量子解释和量子分离逻辑“]，“前缀”：“10.1109”，“作者”：[{“给定”：“李”，“家庭”：“周”，“序列”：“第一”，“从属关系”：[}“名称”：“马克斯·普朗克安全与隐私研究所”}]}，{“给出”：“吉尔”，“家族”：“巴特”，”sequence“：“附加”，“附属关系”：[{”name“：“马克斯·普朗克安全与隐私研究院”}]neneneep，{”给定“：“贾斯汀”，“家人”：“徐”，“sequence”：“附加的”，“affiliation”：[{“name”：“University of Wisconsin–Madison”}]}，{“given”：“Mingsheng”，“family”：“Ying”，“sequence”：“additional”，“affeliance”：[[{”name“：“Unity of Technology Sydney”}]{，“givens”：“Nengkun”，“家族”：“余”，“序列”：“附加”，“从属关系”：[}“name“：”“UniversityofTechnology悉尼理工大学”}]]，“member”：“263”，“reference”：[{“key”：”ref39“”，“doi-asserted-by”：“publisher”，“doi”：“10.22331\/q-2018-08-06-79”}，{“key”：“ref38”，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/LICS.2019.8785779“}，}“keys”：“ref33”，“author”：“ying”，“year”：“2016”，“journal-title”：“Quantum Programming的基础”}“：”10.1017\/S0960129504004256“}，{”键“：”参考31“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3371089”}，{“key”：“ref30”，“doi-asserted-by”：”crossref“，”first page“：”1829“，”doi“：”10.1103\/PhysRevA.59.1829“，“article-title”：“Quantum secret sharing”，“volume”：”59“，“author”：“hillery”，“year”：“1999”，“journal-title“：”Phys-Rev A“}，”{“密钥”：“ref37”，“article-title”：“量子抽象解释”，“作者”：“yu”，“year”：“2021”，“journal-title”：“第42届ACM SIGPLAN编程语言设计与实现会议论文集ser PLDI 2021”}，{“key”：“ref36”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3290346”}、{“key”：”ref35“，”首页“311”，”文章标题“量子程序的谓词变换语义”，“author”：“ying”，“year”：“2010”，“journal-title”：“量子计算中的语义技术”}，{“key”：“ref34”，“doi-asserted-by”：“crossref”，“article-title“：“量子分离逻辑中束逻辑的量子解释”，“author”：“zhou”，年：“2021”，“doi”：“10.1109\/LICS52264.2021.9470673”}：“量子编程中的交替：从数据叠加到程序叠加”，“author”：“ying”，“year”：“2014”}，{“key”：“ref62”，“article-title”：“实现受控未知单位的拓扑障碍”，“author”:“gavorov\u00e1”，“年份”：“2020”}：“量子交替：前景和问题”，“卷”：“195”，“作者”：“b？descu”，《年份》：“0”}，{“密钥”：“ref28”，“文章-标题”：“私有量子信道和随机化量子信息的成本”，“作家”：“mosca”、“年份”：“2000”}：“andr\u00e9s-mart\u00ednez”，“年份”：“2021”}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1103\/PhysRevA.67.042317”}“，”年“：”2014“，”杂志标题“：”纠缠理论简介“}，{”关键“：”参考29“，“doi-asserted-by”：“publisher”，“doi”：“10.1103\/PhysRevLett.83.648”}，{“key”：“ref66”，“doo-asserted-by”：”publisher“，”doi“：”10.1088\/1367-2630\/16\/013009“}，”{“key”：”ref67“，”doi-assert-by“：”publister“，”doi“：“10.1017\/S090129515000444”}“，{”key“：”ref2“，”volume“：“26”，“author”：“pym”，“year”：“2002”，“journal-title”：《应用逻辑系列》，{“key”：“ref1”，“doi断言者”：“crossref”，“首页”：“215”，“doi”：“10.2307\/421090”，“文章标题”：“束暗示逻辑”，“卷”：“5”，“作者”：“o\u2019hearn”，“年份”：“1999”，“期刊标题”：“符号逻辑公报”}，{“key”：“ref20”，“article-title”：“证明量子程序是正确的”，“author”：“hietala”，“year”：“2020”}，{“key”：“ref22”，“作者”：“nielsen”，“年”：“2002”，“日记标题”：“量子计算与量子信息”}、{“密钥”：“ref21”，“article-title:”分离逻辑导论（初稿）“，”author“：”reynolds“，”年“：”2008“，”日记标题“：“课程笔记十月”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-25543-5_12”}：“quantumlib\/Cirq:一个用于创建、编辑和调用噪声中尺度量子（NISQ）电路的Python框架”，“年份”：“2018”}，｛“密钥”：“ref25”，“文章标题”：“Isabelle\/HOL中的认证量子计算”，“作者”：“bordg”，“年份”：“2020”，“期刊标题”：“自动推理期刊”}，｛“密钥”：“ref50”，“doi断言者”：“publisher”，“DOI”：“10.1007\/978-3642-10622-4_7”}，{“key”：“ref51”，“article-title”：“quantum programs的验证逻辑”，“author”：“rand”，“year”：“2016”}“}，{”key“：”ref57“，”article-title“：“路由量子电路”，“author”：“vanrietvelde”，“year”：“2020”}，{“key”：“ref56”，“article-title”：“量子霍尔类型理论”，“作者”：“singhal”，“年份”：“2020”}、{“密钥”：“ref55”，“article-titel”：“quantum霍尔类型理论：扩展抽象”，“author”:“singhar”，“年”：“0”}，“author”：“li”，“year”：“2019”}，{“key”：“ref53”，“article-title”：“Quantum temporal logic”，“author”：“yu”，“年份”：“209年”}}，{“key”：“ref40”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MARK.1979.8817296”}，{“key”：“ref11”，“article-title”：“捆绑逻辑：统一方法”，“author”：“docherty”，“year”：“2019”，“journal-title“：博士学位论文”}量子机器学习”，“author”：“broughton”，“year”：“2020”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1038\/ncomms5213”}/978-3-642-25318-8“}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3314221.3314584”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.4204\/EPTCS.266.8”}S.2002.1029817“}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/j.tcs.2003.11.020”}，{“key”：“ref6”，“DOI-asserted-by”：“publisher”，“DOI:”10.1145\/360204.375719“}，}“key:”ref5“，”first page“：”1“，”author“：”o\u2019hearn“，”year“：”2001“，”journal-title“：”Computer Science Logic“}“：”227“，”DOI“：”10.1016\/j.tcs.2006.12.034“，”文章标题“：“A semantics for concurrent separation logic”，“volume”：“375”，“author”：“brookes”，“year”：“2007”，“journal-title”：“Theory Computer Science”}，{“key”：”ref49“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.entcs.2006.04.003“}，“{”key“：”ref7“，“doi-assert-by”：“crossref”，“first-page”：“271”，“doi”：“10.1016\/j.tcs.2006.12.0 35“，”文章标题“：“资源、并发和局部推理”，“卷”：“375”，“作者”：“o\u2019hearn”，“年份”：“2007”，“日志标题”：“理论计算机科学”}，{“key”：“ref9”，“文章标题”：”概率分离逻辑“，”volume“：”4“，”author“：”barthe“，”year“：”2019“，”journal-title“：”Proc ACM Program Lang“}，”{“密钥”：“ref46”，“首页”：“39”，“论文标题”：“量子程序的逻辑”，“author”：“baltag”，“year”：“0”}，{“key”：“ref45”，“doi-asserted-by”：“publisher”，”doi“：”10.1017\/S096012506005251 \/S0960129506005299“}，{“key”：“ref42”，“doi-asserted-by”：“crossref”，“首页”：“162”，“DOI”：“10.1103\/PhysRevA.59.162”，“article-title”：“用于秘密共享和秘密分裂的量子纠缠”，“卷”：“59”，“作者”：“karlsson”，“年份”：“1999”，“期刊标题”：“Phys-Rev A”}，{“密钥”：“ref41”，“DOI-asserted-by”：“publisher”：“量子程序验证的逻辑”，“author”：“akatov”，“year”：“2005”，“journal-title”：“硕士论文”}，{“key”：“ref43”，“doi-asserted-by”：“publisher”，“doi”：“10.1038\/s42254-020-00245-7”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]]}、，“end”：｛“date parts”：[[2021,7,2]}｝，“container title”：[“2021第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”]，“原标题”：[]，“链接”：[｛“URL”：“http:\/\/explorestating.IEEE.org/ielx7\/947097\/947001\/094470673.pdf？arnumber=9470673”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2023,1,3]]，“日期时间”：“2023-01-03T07:31:27Z”，“时间戳”：1672731087000}，“分数”：1，“资源”：{“主要”：}“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9470673\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2021,6,29]]}，“references-count”：67，“URL”：“http://\/dx.doi.org\/10.109\/lics52264.2021.9470673”，“关系”：{}，“主题”：[]，“发布”：{“日期-部件”：[[2021,6,29]]}}