{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T17:01:48Z”，“时间戳”：1648918908979}，“参考计数”：13，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期部分:00Z“，”timestamp“：991353600000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,11,20]]，“date-time”：“2014-11-20T00:00:00Z”，“timestamp”：1416441600000}，“content-version”：“vor”，“delay-in-days”：4920，“URL“http://creativecommons.org\/licenses\/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short container-title”：[“Electronic Notes in Theory Computer Science”]，“published-print”：{“date-parts”：[[2001,6]]}，”DOI“：”10.1016\/s1571-0661（04）00150-1“，”type“：”journal-article“，”created“：参考“，“is-referenced-by-count”：1，“title”：[“On the Relations between Disjunctive and Linear Logic Programming”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[{“给定”：“Marco”，“family”：“Bozzano”，“sequence”：“first”，“affiliation”：[]}，{“given”：埃利“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB1”，“doi-asserted-by”：“crossref”，“unstructured”：“Abdulla，P.A.，K.Cer\u0101ns，B.Jonsson，and Y.-K.Tsay，《无限状态系统的一般可判定性定理》，收录于：第11届IEEE国际电工电子工程师协会年会报。计算机科学中的逻辑研讨会（LICS’96）（1996），第313\u2013321页。“作者”：“安德烈奥利”，“年份：“1992”，“journal-title”：“逻辑与计算杂志”}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB3”，“doi-asserted-by”：“crossref”，”首页“：“445”，“doi”：“101007\/BF03037173”，“article-title“线性对象：具有内置继承的逻辑过程”，“volume”：”9“author”：“Andreli”，“year”：“1991”，“日记标题”：“新一代计算“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB4”，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano M.，G.Delzanno and M.Martelli，A Bottom-up Semantics for Linear Logic Programs，in:M.Gabbrielli and F。Pfenning，编辑，Proc。第二届国际声明性编程原理与实践会议（PPDP'00）（2000），pp.92\u2013102.“，”DOI“：”10.1145\/351268.351279“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bozzano M.，G.Delzanno and M。Martelli，《线性逻辑程序的有效固定点语义》，逻辑编程理论与实践（2001），即将出版。“，”DOI“：”10.1017\/S1471068402001254“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cousot P.and R.”。库索特，《抽象解释：通过构造或逼近固定点对程序进行静态分析的统一格模型》，in：Proc。第四届程序设计语言原理研讨会（POPL’77）（1977），第238\u2013252页。“，”DOI“：”10.1145\/512950.512973“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cousot P.and R。库索特，《程序分析框架的系统设计》，收录于：Proc。第六届程序设计语言原理研讨会（POPL'79）（1979），第269\u2013282页。“，”DOI“：”10.1145\/567752.567778“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBIB8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Giacobazzi R.and F.Ranzato，《抽象解释的完整性：领域视角》，in：M。约翰逊，编辑，Proc。第六届代数方法论和软件技术国际会议（AMAST’97），《计算机科学讲义1349》（1997），第231_u2013245页。：“线性逻辑“，”卷“：“50”，”作者“：”吉拉德“，”年份“：”1987“，”期刊标题“：”理论计算机科学“}，{”关键词“：”10.1016\/S1571-0661（04）00150-1_NEWBIB10“，”doi-asserted-by“：”crossref“，”首页“：”147“，“doi”：“10.1016\/S0022-0000（69）80011-5”，“article-title”：“并行程序模式”，“卷”：“3”，“作者”：“Karp”，“年份”：“1969年”，“新闻标题”：“计算机与系统科学杂志“}，{“key”：“10.1016\/S1571-0661（04）00150-1_NEWBI11”，“首页”：“63”，“article-title”：“线性逻辑编程综述”，“卷”：“2”，“作者”：“Miller”，“年份”：“1995”，“期刊标题”：“计算逻辑：欧洲计算逻辑卓越网络新闻稿”}10.1016\/S1571-0661（04）00150-1_NEWBIB12“，”doi-asserted-by“：”crossref“，”first page“：”201“，”doi“：”10.1016\/0304-3975（96）00045-X“，”article-title“：”Forum:A Multiple-Conclusion Specification Logic“，”volume“：“165”，“author”：“Miller”，“year”：“1996”，“journal-title”：“Theory Computer Science”}，{“key”：“10.1016\\S1571-0661 IB13“，”series-title“：“计算逻辑。Alan Robinson论文”，“首页”：“613”，“文章标题”：“析取逻辑程序理论”，“作者”：“Minker”，“年份”：“1991”}]，“容器标题”：[“理论计算机科学中的电子笔记”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001501？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104001501？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2019,2,15]]，“date-time“：”2019-02-15T01:57:21Z“，”timestamp“：1550195841000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066104001501”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：1“]，“URL”：“http://\/dx.doi.org\/10.1016\/s1571-0661（04）00150-1“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”值“：”1571-00661“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[2001,6]]}}}