{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,24]]，“日期时间”：“2023-01-24T13:52:12Z”，“时间戳”：1674568332625}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540746089”，“类型”：打印“}，{”值“：“9783540746102”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-74610-2_15“，”type“：”book-capter“，”created“：”{“date-part”：[2007,8,24]]，“date-time”：“2007-08-24T02:33”:31Z“，”时间戳“：1187922811000}，”页面“：”209-223“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“The Corresponse Between The Logical Algorithms Language and CHR”]，“prefix”：“10.1007”，”author“：[{”given“：”Leslie“，”family“：”De Koninck“，”sequence“：”first“，”affiliation“：[]}，{“given”：”Tom“，”“family”：“Schrijvers”，“”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“15_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Christiansen，H.：基于约束的自下而上定冠词文法对应词。In:Recent Advances In Natural Language Processing III，Selected Papers.Current Issues In Linguistic Theory vol.260（2004）”，“DOI”：“10.1075\/cilt.260.24chr”}，{“key”：“15_CR2”，“series-title”：“计算机科学讲义”，“volume-title”：《逻辑编程》，“author”：“G.J.Duck”，“year”：“2004”，“unstructured”：“Duck，G.J.，Stuckey，P.J.，Garc\u00eda de la Banda，M.，Holzbaur，C.：约束处理规则的精练操作语义。摘自：Demoen，B.，Lifschitz，V.（eds.）ICLP 2004。LNCS，vol.\u00a03132，Springer，Heidelberg（2004）“}，{”issue“：”1“，”key“：”15_CR3“，”doi-asserted-by“：”publisher“，”first page“：“17”，”doi“：”10.1016\/0004-3702（82）90020-0“，”volume“：.\u00a019（1），17\u201337（1982）“，”期刊标题“：”文章。智力。“}，{”issue“：”3“，”key“：”15_CR4“，”doi-asserted-by“：”publisher“，”first-page“：”596“，”doi“：”10.1145\/28869.28874“，”volume“：“34”，”author“：”M.L.Fredman“，”year“：”1987“，”unstructured“：”Fredman，M.L.，Tarjan，R.E.：Fibonacci堆及其在改进的网络优化算法中的应用。J.ACM\u00a034（3），596\u2013615（1987）“，”新闻标题“：”J.ACM“}，{”issue“：”1-3“，”key“：”15_CR5“，”doi-asserted-by“：”publisher“，”first-pages“：”95“，”doi“：”10.1016\/S0743-1066（98）10005-5“，“volume”：”37“，”author“：”T.Fr\u00fchwirth“，”year“：”1998“，”unstructured“：”Fr\u100fchwirt，T.：约束处理规则的理论与实践。J.日志。程序。\u00a037（1-3），95\u2013138（1998）“，“期刊标题”：“J.Log。程序。“｝，｛”key“：”15_CR6“，”doi asserted by“：”crossref“，”非结构化“：”Fr\u00fchwirth，T.：随着时间的推移II：并发规则程序的更自动化的复杂性分析.Electr.Notes Theor.Comput.Sci.，59（3）（2001）“，”doi“：”10.1016\/S1571-061（04）00288-9“｝，｛”key“：”15_CR7“，”非结构化“：”Fr\u00fchworth，T.：随着时间的推移：并发规则程序的自动复杂性分析。摘自：第八届国际知识表示与推理原则会议，第547\u2013557（2002）页“}，{“key”：“15_CR8”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《514》，“doi”：“10.1007\/3-540-45744-5_44”，“volume-title”：《自动推理》，“author”：“H.Ganzinger”，“year”：“2001”，“unstructured”：“Ganzinger，H.，McAllester，D.A.：自下而上逻辑程序的一个新的元复杂性定理。收录：Gor\u00e9，R.P.，Leitsch，A.，Nipkow，T.（编辑）IJCAR 2001。LNCS（LNAI），第\u00a02083卷，第514\u2013528页。Springer，Heidelberg（2001）“}，{”key“：”15_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“209”，”doi“：”10.1007\/3-540-45619-8_15“，”volume-title“：“逻辑编程”，”author“：”H.Ganzinger“，”year“：”2002“，”unstructured“：”Ganziger，H.，McAllester，D.A.：逻辑算法。in:Stuckey，P.J.（ed.）ICLP 2002。LNCS，卷\u00a02401，第209\u2013223页。Springer，Heidelberg（2002）“}，{“key”：“15_CR10”，“unstructured”：“De Koninck，L.，Schrijvers，T.，Demoen，B.：CHR$^\\textrm{rp}$：具有规则优先级的约束处理规则。技术报告CW 479，K.U.Leuven，Belgium（2007年3月）“}，{“key”：“15_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“De Koninck，L.，Schrijvers，T.，Demen，B.：逻辑算法语言与CHR之间的对应关系。技术报告CW480，K.U.Leuvan，Belegium（2006年3月series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“312”，“doi”：“10.1007\/3-540-48294-6_21”，“volume-title”：“静态分析”，“author”：“D.A.McAllester”，“year”：“1999”，“unstructured”：“McAllestor，D.A.：关于静态分析的复杂性分析。收录：Cortesi，A.，Fil\u00e9，G.（eds.）SAS 1999。LNCS，第u00a01694卷，第312\u2013329页。Springer，Heidelberg（1999）“}，{”key“：”15_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Schrijvers，T.：“约束处理规则的分析、优化和扩展。博士论文，K.U.Leuven，Leuven，Belgium（2005）“，”doi“：”10.1007\/11562931_44“}”，{“key”：“15_CR14”，“unstructure”：“”Schrijvers，T.，Demoen，B.：K.U.Leuven CHR系统：实施和应用。收录：CHR第一期研讨会：精选贡献。Ulmer Informatik-Berichte。University\u00e4t Ulm，vol.2004-01，pp.1\u20135（2004）“}，{“key”：“15_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Schrijvers，T.，Fr\u00fchwirth，T.：约束处理规则中的最优联合发现。逻辑编程理论与实践，6（1&2）Sneyers，J.、Schrijvers，T.、Demoen，B.：约束处理规则的计算能力和复杂性。In:约束处理规则第二次研讨会。Reports CW，计算机科学部，K.U.Leuven，比利时，第421卷，第3\u201317页（2005）“}，{“key”：“15_CR17”，“unstructured”：“Sneyers，J.，Schrijvers，T.，Demoen，B.：具有Fibonacci堆的Dijkstra\u2019算法：CHR中的可执行描述。摘自：第20届逻辑编程研讨会。INFSYS研究报告，TU Wien，第1843-06-02卷，第182\u2013191（2006）页“}，{“key”：“15_CR18”，“unstructured”：“Van Weert，P.，Sneyers，J.，Schrijvers，T.，Demoen，B.：以否定扩展CHR。摘自：CHR第三次研讨会。CW Reports，Department of Computer Science，K.U.Leuven，Belgium，第452卷，pp.125\u2013140（2006）”}]，“container-title”：[“逻辑编程”，“计算机科学讲义”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3-540-74610-2_15”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期部分”：[2019,5,2]，“日期时间”：“2019-05-02T15:19:13Z”，“”timestamp“：1556810353000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-74610-2_15“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2007]]}，《国际标准图书编号》：[“9783540746089”，“9783546102”]，“references-count”：18，“URL”：“http://\/dx.doi org\/10.1007\/978-3-540-74610-2_15“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2007]]}}}