{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:25:12Z”，“时间戳”：1720625112517}，“引用-计数”：18，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2010,9,1]]，《日期-时间》：“2010-09-01T00:00”:00Z“，”timestamp“：1283299200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false｝，“短容器标题”：[“理论计算机科学电子笔记”]，“已出版印刷品”：｛“日期部分”：[[2010,9]]｝，“DOI”：“10.1016\/j.entcs.2010.008.010”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2010,9,4]]，“日期时间”：“2010-09-04T11:15:21Z”，“时间戳”：1283598921000｝，“页面”：“161-176”，“来源”：“Crossref”，“is-referenced-by-count”：2，“special_numberg”：“C”，“title”：[“From Focalization of Logic to the Logic of Focalizion”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“given”：”Michele“，“family”：“Basaldella”，“sequence”：“first”，“affiliation”：[]}，{“given”Kazushige“，”家庭“：“Terui”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“4”，“key”：“10.1016\/j.entcs.2010.08.010_br0010”，“doi-asserted-by”：“crossref”，”first page“：”531“，”doi“10.1017\/S090129503003980”，“article-title”：“Sequentity vs.concurrency in games and logic”，”volume“：“13”，“author”：“Abr”amsky”，“年份”：“2003年”，“新闻标题”：“计算机科学中的数学结构”}，{“issue”：“3”，“key”：“10.1016\/j.entcs.2010.010_br0020”，“doi-asserted-by”：“crossref”，“first-page”：“297”，“doi”：“101093\/logcom\/2.3.297”：《逻辑与计算杂志》}，{“key”：“10.1016\/j.entcs.2010.08.010_br0030”，“unstructured”：“Basaldella，M.，Saurin，A.，Terui，K.：聚焦的含义。In：游戏、对话和交互研讨会论文集（2009）。”}，}“key”：“101016\/j.entc.2010.08.010_br 0040”，”doi-asserted-by“：”crossref“，”unstructure“：“Chaudhuri K.：合成连词序列演算中的聚焦策略。in:程序设计、人工智能和推理逻辑学报（2008）467\u2013481.”，“DOI”：“10.1007\/978-3-540-89439-1_33”}，{“issue”：“1”，“key”：“101016\/j.entcs.2010.010_br0050”，“first page”：”1“，“article-title”：“线性逻辑和逻辑导论，第二部分”，“卷”：“35”，“作者”：“居里”，“年份”：“2006年”，“期刊标题”：“数学进展（中国）”}，{“关键”：“10.1016\/j.entcs.2010.010_br0060”，“doi-asserted-by”：“crossref”，“非结构化”：“Curien，P.-L.，Munch-Maccagnoni，G.：聚焦下计算的二重性。摘自：IFIP TCS（2010）.“，”DOI“：”10.1007\/978-3642-15240-5_13“}，{“key”：“10.1016\/j.entcs.2010.08.010_br0070”，“DOI-asserted-by”：“crossref”，“unstructured”：“Faggian，C.，Piccolo，M.：Ludics是有限线性pi-calculus的模型。In:Proceedings of Typed Lambda Calculi and Applications（2007）148\u2013162。问题“：”3“，”key“：”10.1016\/j.entcs.2010.08.010_br0080“，”doi-asserted-by“：”crossref“，”首页“：”276“，”doi“：”101016\/j.apal.2006.09.001“，”article-title“：”A Categorical Semantics for Polarized MALL“，”volume“：“145”，“author”：“Hamano”，“year”：“2007”，“journal-title”：“Pure and Applied Logic年鉴”}，{“issue”：“3”，“key”：“10.1016 \/j.entcs.2010.08.010_br0090“，”doi-asserted-by“：”crossref“，”first page“：”301“，“doi”：“10.1017\/S09012950100336X”，“article-title”：“Locaus solum:From the rules of logic to the logic of rules”，“volume”：“11”，“author”：“Girard”，“year”：“2001”，“journal-title“：”计算机科学中的数学结构“}，{”key“10.1016\/j.entcs.2010.010_br0100”，“unstructured”：“”Laurent，O.：逻辑上的极化度。Aix-Marseille II大学博士论文（2002年）。“}，{”issue“：”1\u20133“，”key“：”10.1016\/j.entcs.2010.010_br0110“，”doi-asserted-by“：”crossref“，”first-page“：”79“，”doi“：”101016\/j.apal.2004.04.006“，”article-title“：”Polarized games“，“volume”：“130”，“author”：“Laurent”，“year”：“2004”，“journal-title”：“Pure and Applied Logic年鉴”}，”{“key“016\/j.entcs.2010.08.010_br0120“，”非结构化“：”Laurent，O.：线性逻辑聚焦特性的证明。未发表的说明（2004年）。“}，{”key“：”10.1016\/j.entcs.2010.08.010_br0130“，”unstructured“：”Melli\u00e8s，P.-A.：异步游戏4:命题线性逻辑的完整模型。In:Proceedings of Logic In Computer Science（2005）386\u2013395.“}”，{“issue”：“5”，“key”：“10.1016\/j.entcs.2010.010_br01140”，“doi-asserted-by”：“crossref”，“first page”：”632“，“doi”：“”10.1016\/j.apal.2009.07.018“，“article-title”：“张量逻辑中的资源模式”，“volume”：“161”，“author”：“Melli\u00e8s”，“year”：“2010”，“journal-title“：“Pure and Applied logic年鉴”}，{“key”：”10.1016\/j.entcs.2010.010_br0150“，”doi-asserted-by“：”crossref“，”unstructured“：”Miller，D.，Saurin，A.：从证明到聚焦证明：线性逻辑中聚焦的模块证明。收录：《计算机科学逻辑学报》。（2007）405\u2013419.“，”DOI“：”10.1007\/978-3-540-74915-8_31“}，{“key”：“10.1016\/j.entcs.2010.010_br0160”，“DOI-asserted-by”：“crossref”，“unstructured”：“Munch-Maccagnoni G.：Focalisation and Classical Realisability In:Proceedings of Computer Science Logic（2009）409\u2013423.”，“DOI”：“101007\/9792-04027-6_30”}，”{“密钥”：“”10.1016 \/j.entcs.2010.08.010_br0170“，“非结构化”：“Terui，K.：计算路德学。（2008）发表于《理论计算机科学》。“}，{”key“：”10.1016\/j.entcs.2010.08.010_br0180“，”unstructured“：”Zeilberger，N.：评估顺序和模式匹配的逻辑基础。卡内基梅隆大学博士论文（2009）。“}]，”container-title“：[”理论计算机科学中的电子笔记“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000897？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000897？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2018,12,8]]，“date-time“：”2018-12-08T07:24:54Z“，”timestamp“：1544253894000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066110000897”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2010,9]]}、“references-count”：18，“alternative-id”：[“S15710661100000897”7“]，”URL“：”http:\/\/dx.doi.org\/10.1016\/j.entcs.2010.08.010“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-661“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2010,9]]}}}}