{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,5]]，“日期-时间”：“2022-04-05T21:00:12Z”，“时间戳”：1649192412990}，“引用-计数”：24，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[1989,8,1]]，1989-08-01T00:00:00Z“，“时间戳”：617932800000}，“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”：8751，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1989,8]]}，”DOI“：”10.1016\/0304-3975（89）90131-x“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,25]]，”date-time“：”2002-07-25T23:07:16Z“，”timestamp“：1027638436000}“page”：“117-136”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“On the Knuth-Bendix completion for concurrent process”]，“prefix”：“10.1016”，“volume”：“66”，“author”：[{“给定”：“Volker”，“family”：“Diekert”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0304-3975（89）90131-X_BIB1“，”doi-asserted-by“：”crossref“，”第一页“：”159“，”doi“：“10.1016\/0898-1221（81）90115-2”，“article-title”：“有限可交换半群的新决策算法”，“volume”：“7”，“author”：“Ballantyne”，“year”：“1981”，“journal-title“：”Compute.Math.Appl.“}，{“key”：”10.1016\/0304-3975（89）90131-X_BIB2“，”doi-asserted-by“：”crossref“，“first page”：《171》，“doi”：“10.1145\/32290.3”22301“，”物品标签“：“Confluent and other types of Thue systems”，“volume”：“29”，“author”：“Book”，“year”：“1982”，“journal-title”：“J.ACM”}，{“key”：《10.1016\/0304-3975（89）90131-X_BIB3》，“doi-asserted-by”：“crossref”，“first page”：第29页，“doi”：“10.1016\/0020-0190（87）90032-9”，《article-title》：“重写自由部分交换单体中的系统和单词问题”，“卷”：“26”，“author”：“Book”，“year”：“1987”，“journal-title”：“Inform.Process.Lett.”}，{“key”：“10.1016\/0304-3975 _BIB4_2“，“doi-asserted-by”：“crossref”，“first page”：“374”，“doi”：“10.1007\/BF01844169”，“article-title”：“寻找零维多项式理想剩余类环的基的算法”，“volume”：”4“，”author“：”Buchberger“，”year“：”1970“，”journal-title“：”Aeq.Math.“}，{”key“：”10.1016\/0304-3975（89）90131-X_BIB5“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“1”，“doi”：“10.1007\/3-540-15976-2_1”，”article-title“：“临界过程的基本特征和发展”，“卷”：“第202卷”，“作者”：“Buchberger”，“年份”：“1985”}，{“键”：“101016\/0304-975（89）90131-X_BIB6”，“首页”：“241”：“部分交换和忠实的理性转导”，“卷”：“35”，“作者”：“Clerbout”，“年份”：“1985”，“期刊标题”：“理论计算科学”}，{“关键”：“10.1016\/0304-3975（89）90131-X_BIB7”，“文章标题”：”Probl\u00e8mes Combinatoires de Commutation et R\u00e 9arrangements“，”卷“：”第85卷“，”作者“：”Cartier“，”年份“：”1969年“}”，{“”：“10.1016\/0304-3975（89）90131-X_BIB8”，“doi-asserted-by”：“crossref”，“first page”：“241”，“doi”：“10.10.16\/030-3975（85）90013-1”，“article-title”：“一些部分阿贝尔幺半群的可识别子集”，“volume”：”35“，”author“：”Cori“，”year“1985”，“journal-title“：”Theoret.Compute.Sci.“}，{”key“10.1016”5（89）90131-X_BIB9“，”doi-asserted-by“：“crossref”，“first page”：“21”，“DOI”：“10.1051\/ita\/1985190100211”，，“article-title”：“Automates et communications partielles”，“volume”：”19“，“author”：“Cori”，“year”：“1985”，“journal-title“：”RAIRO Inform.Th\u00e9or.“}，{“key”：“413”，“DOI”：“10.2307\/2370405”，“文章标题”：“具有n个不同素因子的奇完全本原充盈数的有限性”，“volume”：“35”，“author”：“Dickson”，“year”：“1913”，“journal-title”：“Amer.J.Math.”}，{“key”：”10.1016\/0304-3975（89）90131-X_BIB11“，”doi-asserted-by“：”crossref“，”first page“：”199“，“doi”：“10.1016\/0304-975（86）90117-9”，“article-title“：“用于阿贝尔错误的完整半Thue系统”，“卷”：“44”，“作者”：“Diekert”，“年份”：“1986”，“期刊标题”：“Theoret.Comput.Sci.”}，｛“键”：“10.1016\/00304-3975（89）90131-X_BIB12”，“系列标题”：“计算机科学讲义”，“doi断言由”：“crossref”，“首页”：“168”，“doi”：“10.1007\/BFb0028982”，“文章标题”：“线性时间内可解迹上的单词问题”，“卷”：“卷349”，“作者”：“Diekert”，“年份”：“1989”}，{“键”：“10.1016\/0304-3975（89）90131-X_BIB13”，“doi-asserted-by”：“crossref”，“首页”：“544”，“doi”：“101016\/20021-8693（79）90238-2”，“文章标题”：“群和幺半群的表示”，“卷宗”：“57”，“作家”：“吉尔曼”，“年份”：“1971年”，“journal-title”：“J.Algebra”}，{“key”：“10.1016\/0304-3975（89）90131-X_BIB14”，“doi-asserted-by”：“crossref”，“first-pages”：“797”，“doi”：“101145\/322217.32230”，“article-title）：“Confluent reduction:抽象属性和对术语重写系统的应用”，“volume”：：“10.1016\/0304-3975（89）90131-X_BIB15”，“series-title”：“DAIMI Rept.PB 78”，“article-title”：“并发程序方案及其解释”，“author”：“Mazurkiewicz”，“year”：“1977”}，{“key”：”10.1016\/0304-2975（89“”：“10.1007\/3-540-17906-2_30”，“文章标题”：“迹理论”，“卷”：“第255卷”，“作者”：“Mazurkiewicz”，“年份”：“1987”}，{“关键字”：“10.1016\/0304-3975（89）90131-X_BIB17”，“论文标题”：《关于自由部分交换单体的可识别子集》，“卷“：”第226卷“，”作者“：”M\u00e9activer“，”年份“：”1986“}”，{“密钥”：“10.1016\/0304-3975（89）90131-X_BIB18”，“doi-asserted-by”：“crossref”，“first page”：“125”，“doi”：“10.1016\/0020-0190（88）90049-X”，“article-title”：“对于仅包含长度缩减规则和单个交换规则的Thue系统，不可判定预完善”，“volume”：”29“，”author“：”Narendran“，”year“：”1988“，”journal-title“：”Inform.Process.Lett.“}，{”key“：”10.1016\/0304-3975（89）90131-X_BIB19_1“，”series-title“：”报告。第84-59号“，“文章标题”：“部分交换字母表上的单词”，“作者”：“Perrin”，“年份”：“1984”}，{“密钥”：“10.1016\/0304-3975（89）90131-X_BIB19_2”，“首页”：“329”，“文章标签”：“半交换字母表中的单词”20“，”文章标题“：”Theore der Endlich Erzeugbaren Kommutativen Halbgruppen“，“卷”：“第41卷”，“作者”：“Redei”，“年份”：“1963”}，{“关键”：“10.1016\/0304-3975（89）90131-X_BIB21”，“doi-asserted-by”：“交叉引用”，“首页”：“339”，“doi”：“101016\/0304-3975（83：“23”，“作者”：“O'D\u00f9nlaing“，“年份”：“1983年”，“新闻标题”：“理论。计算。科学。“}，{”key“：”10.1016\/0304-3975（89）90131-X_BIB22“，”doi-asserted-by“：”crossref“，”first-page“：”99“，”doi“：”101016\/S0747-7171（88）80024-5“，”article-title“：”自由部分交换群的单词问题“，”volume“：“6”，“author”：“Wrathall”，“year”：“1988”，“journal-title”：“J.Symbol.Comput.”}]，“containertle”：[”理论计算机科学“]”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:03043975899013X？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://api.elsevier.com/content\/aarticle\/PII:0304397 58990131X？http-Accept=text\/plain“，”content-type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[[2019,4,13]]，”date-time“：”2019-04-13T18:25:08Z“，”timestamp“：1555179908000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/030439758990131X”}，“subtittle”：[]，“短标题”：[]，”已发布“：{”日期部分”：[[1989,8]]｝，“参考文献数”：24，“期刊问题”：｛“问题”：“2”，“已出版印刷品”：｛“日期部分”：[[1989,8]]｝｝，“替代id”：[“030439758990131X”]，“URL”：“http:\/\/dx.doi.org/10.1016\/00304-3975（89）90131-x”，“关系”：｛｝，“ISSN”：[“0304-3975”]，“ISSN type”：[｛“value”：“0304-3975”，“type“：”打印“｝]，”主题“：[]，”已发布“：｛”日期部分“：[[1989,8]}}}