{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,3,31]]，“日期时间”：“2022-03-31T09:56:15Z”，“时间戳”：1648720575313}，“出版商位置”：“查姆”，“引用计数”：14，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319080185”，“类型”：”打印“}，{“值”：“9783319080192”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-319-08019-2_35“，”type“：”book-capter“，”created“：”{“date-part”：[2014,6,5]]，“date-time”：“2014-06-05T01:09:47Z”，“timestamp”：140193 0587000}，“页面”：“343-346”，“来源”：“交叉引用”，“is-referenced-by-count”：0，“title”：[“早期完成算法：Thue\u2019s 1914年符号序列转换论文”]，“前缀”：“10.1007”，“作者”：[{“给定”：“James F.”，”family“：”Power“，”sequence“：”first“，”affiliation“：[]}]，“成员”：“297”，“引用”：[}“键”：“35_CR1”：“Thue，A.：Probleme\u00fcber Ver\u00e4nderungen von Zeichenreihen nach gegebenen Regeln.Christiana Videnskabs-Selskabs Skrifter，I.Math.-naturv.Klasse 10（1914）”}，{“issue”：“1”，“key”：“35_CR2”，“doi-asserted-by”：“publisher”，“first page”：《1》，“doi”：“10.2307\/2267170”，“volume”：”：“12”，“author”：“E.L.Post”“，”年份“：”1947“，”非结构化“：“Post，E.L.：图伊问题的递归不可解性。符号逻辑杂志\u00a012（1），1\u201311（1947）”，“期刊标题”：“符号逻辑杂志”}，{“key”：“35_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Rozenberg，G.，Salomaa，a.（eds.）：《形式语言手册》。斯普林格（1997）“，“doi”：“10.1007\/978-3642-59126-6”}、{“key”：“35_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Book，R.V.，Otto，F.：String-rewriting Systems.Springer（1993）”，“doi”：“10.1007\/9781-4613-9771-7”}，{“key”：“35-CR5”，“volume-title”：“Axel Thue的数学论文选集”，“year”：“1977”，“非结构化”：“Nagell，T.，Selberg，A.，Selbeg，S.，Thalberg，K.（eds.）：Axel Thue的数学论文集。奥斯陆大学（1977）“}，{“key”：“35_CR6”，“unstructured”：“Thue，A.：\u00dcber unendliche Zeichenreihen.Christiana Videnskabs-Selskabs Skrifter.I.Math.-Naturv.Klasse 7（1906）”}，“key“：”35_CR7“，“unsructured“：”Thue，A.:\u00dber die gegenseitige Lage gleicher Teile gewisser Zeichen reihen。Christiana Videnskabs-Skrifter ter，I。数学-自然。Klasse 1（1912）“}，{“key”：“35_CR8”，“unstructured”：“Berstel，J.：Axel Thue\u2019s关于单词重复的论文：翻译。LaCIM出版物，University\u00e9 du Quu00e9bec\u00e 0 Montr\u00e_9al（1995）”}，}，“key“：35_CR9”，“非结构化”：“Marcus，S.：世界各地的单词和语言。收录：Martin-Vide，C.，Mitrana，V.，Paun，G.（eds.）《形式语言与应用》，第11\u201353页。Springer（2004）“}，{“key”：“35_CR10”，“unstructured”：“Thue，A.：Die L\u00f6sung eines Spezialfalles eines generellen logischen Problems。Christiana Videnskabs-Selskabs Skrifter，I.Math.-naturv.Klasse 8（1910）”}，“key“：”35_CR11“，“首页”：“256”，“卷”：“72”，“作者”：“M.Steinby”，“年份”：“2000”，“非结构化”：“Steinby，M.，Thomas，W.：1910年的树木和术语改写：Axel Thue的论文。EATCS牛市。\u00a072，256\u2013269（2000）”，“期刊标题”：“EATCS牛市。“}，{”issue“：”1-2“，”key“：”35_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”3“，”doi“：”10.1016\/S0747-7171（87）80020-2“，“volume”：“3”，“author”：“B.Buchberger”，“year”：“1987”，“unstructured”：“Buchberge，B.：临界路径完成过程的历史和基本特征。符号计算杂志\u00a03（1-2），3\u201338（1987）”，“”journal-title“：”journal of Symbolic Computation“}，{“issue”：“2”，“key”：“35_CR13”，“doi-asserted-by”：“publisher”，“first page”：”223“，”doi“：”10.2307\/1968867“，”volume“：”43“，”author“：”M.Newman“，”year“：”1942“，”unstructured“Newman，M.：关于组合定义为\u201ceequivalence\u201d的理论。数学年鉴\u00a043（2），223\u2013243（1942）“，”journal-title“：“数学年鉴”}，{“key”：“35_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Matiyasevicha，Y.，S\u00e9nizergue，G.：具有一些规则的半图厄系统的决策问题。理论计算机科学\u00a0（330），145\u2013169（2005）”，“doi”：“10.1016\/j.tcs.2004.09.016”}]，“container-title”：[“语言，生命，极限”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-319-08019-2_35”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2019,5,27]，“日期时间”：“2019-05-27T00:15:49Z”，“timestamp“：1558916149000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-319-08019-2_35“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014]]}，《ISBN》：[“9783319080185”，“97833980192”]，“references-count”：14，“URL”：“http://\/dx.doi.org \/10.1007\/978-3-319-08019-2_35“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“issn-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2014年]]}}}