{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,31]]，“日期-时间”：“2022-03-31T05:45:38Z”，“时间戳”：1648705538311}，“引用-计数”：19，“发布者”：“Elsevier BV”，“问题”：“1-2”，“许可证”：[{“开始”：{:“日期-零件”：[[1999,2,1]]，”日期-时间“：”199 9-02-01T00:00:00Z“，“时间戳”：91782720000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：5280，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1999,2]}，”DOI“：”10.1016\/s0304-3975（98）00141-8“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T06:09:04Z“，”timestamp“：1051250944000}”，“page”：“211-231”，“source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“Orders，reduction graphs and spectroms”]，“prefix”：“10.1016”，“volume”：“212”，“author”：[{“given”：”B.“，“family”：“Intrigila”，“sequence”：“first”，“affiliation”：[]}，{“given”:“M.Venturini”，“faily”：”Zilli“，“segment”：“additional”，“filiation“[]}]”，“member”：“78”，“reference”：[}“key”：10.1016 \/S0304-3975（98）00141-8_BIB1“，“doi-asserted-by”：“crossref”，“first page”：“207”，“doi”：“10.3233\/FI-1996-263401”，”article-title“：”等式项图重写“，”volume“：“26”，“author”：“Ariola”，“year”：“1996”，“journal-title”：“Fundam.Inform.”}，{“key”：”10.1016\/S0304-3975（98）00141-8_BIB2“，”series-title“：“The Lambda Calculus.Its Syntax and Semantics”，“author”：“Barendregt”，“年份”：“1984”}，{“key”：“10.1016\/S0304-3975（98）00141-8_BIB3”，“首页”：“200”，“文章-标题”：“有序代数的种类”，“卷”：“13”，“作者”：“Bloom”，“年份”：“1976”，“日记标题”：I“：”10.1006\/inco.1994.1079“，”文章标题“：“强正规化的ant-lion范式”，“volume”：“114”，“author”：“Boehm”，”year”：“1994”，“journal-title”：“Inform.Comput.”}，{“key”：”10.1016\/S0304-3975（98）00141-8_BIB5“，”series-title“：”Lattices and Orders“，”author“：”Davey“，”year:“1994 tle“：“形式模型和语义”，“首页”：“243”，“文章标题”：“重写系统”，“卷”：“卷B”，“作者”：“德肖维茨”，“年份”：“1990”}，{“关键字”：“10.1016\/S0304-3975（98）00141-8_BIB7”，“论文标题”：”重写中的开放问题“，”作者“：”德肖维兹“，”年份“1991”，“日志标题”：《CWI报告》}，}“关键字“：”10.1016\/S0304-397（98）00141-8_BIB8“，”series-title“：”RTA93“，”article-title“：“关于重写的更多问题”，“卷”：“卷690”，“作者”：“Dershowitz”，“年份”：“1993”}，{“密钥”：“10.1016\/S0304-3975（98）00141-8_BIB9”，“doi-asserted-by”：“crossref”，“首页”：“71”，“doi”：“101016\/0304-975（91）90040-9”，《文章标题》：“重写，重写，重写“Dershowitz”，“年份”：“1991年”，“新闻标题”：“\u2026 Theoret.Compute.Sci.”}，{“issue”：“1”，“key”：“10.1016\/S0304-3975（98）00141-8_BIB10”，“doi-asserted-by”：“crossref”，“first page”：”151“，”doi“：”10.1145\/322358.322370“，“article-title”：“简单和二阶类型结构的表现力”，“volume”：：“30 n”，“author”：“Fortune”，“year”：“1983”，“journal-title“：”J.Assococ.Comput.Mach.“}，{”键“：“10.1016\/S0304-3975（98）00141-8_BIB11”，“series-title”：“图论”，“author”：“Harary”，“year”：“1969”}，{“key”：“10.10016\/S0034-3975（98）0.0141-8_BAB12”，“article-title”：《组合还原系统》，“volume”：《第127卷》，“au作者”：“Klop”，“年份”：“1980”}，“连续时间”：“致H.B.Curry：关于组合逻辑、Lambda演算和形式主义的论文”，“文章标题”：“组合逻辑中的约简循环”，“作者”：“Klop”，“年份”：“1980”}，{“键”：“10.1016\/S0304-3975（98）00141-8_BIB14”，“论文标题”：”R\u00e9ductions complete et optizes dans le Lambda-calculi“，“作者“：”L\u00e 9vy“，”年：“1978”，“日记标题”：D。论文“}”，{“key”：“10.1016\/S0304-3975（98）00141-8_BIB15”，“series-title”：“集合论导论”，“author”：“Monk”，“year”：“1969”}，{”key“：”10.1016\/S0304-3 975（1998）001418-BIB16“，”doi-asserted-by“：”crossref“，”first page“：“61”，“doi”：“101002\/malq.19710170113”，“article-title”：”Eine Klassification der \u03b50-recursiven Funktitonen“，”卷“：”17“，”作者：“Schwichtenberg”，“年份”：“1971年”，“新闻标题”：“Z.数学”。Logik Grundlagen数学。“}，{”key“：”10.1016\/S0304-3975（98）00141-8_BIB17“，”series-title“：”代数与编程中的树“，”first page“：“405”，”article-title“：“约简图中的余终局性”，“volume”：“vol.159”，“author”：“Venturini-Zilli”，“year”：“1983”}，“{”key“：“：”251“，”doi“：”10.1016\/0304-3975（84）90002-1“，”article-title“：“lambda演算中的约化图”，“volume”：“29”，“author”：“Venturin-Zilli”，“year”：“1984”，“journal-title”：“Theoret”。计算。科学。“}，{”key“：”10.1016\/S0304-3975（98）00141-8_BIB19“，”series-title“：”图论概论“，”author“：”Wilson“，”year“：”1989“}]，”container-title“：[”Theoryal Computer Science“]，”original-title“:[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0304397598001418？httpAccept=text\/xml“，“content-type”：“text\/xml”，“content-version“：”vor“，”预期应用程序“：”文本挖掘“｝，｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S030439598001418？httpAccept=text\/plain“，”content-type“：”text\/plain“，”content-version“：”vor“，”预期应用程序“：”文本挖掘“｝]，”deposited“：｛”日期部分“：[[2020,2,4]]，”日期时间“：”2020-02-04T14:17:55Z“，”timestamp“：1580825875000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397598001418“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999,2]}，《references-count》：19，“journal-issue”：{'s“issue”：“1-2”，“published-print”：{data-parts“：[[1999”9,2]]}}，“alternative-id”：[“S0304397598001418”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/s0304-3975（98）00141-8“，”关系“：{}，”ISSN“：[”0304-397“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[1999,2]}}}