{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T19:48:08Z”，“时间戳”：1725565688901}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540223450“}，{”类型“：“electronic”，“value”：“9783540259848”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-25984-8_5“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,11]]，“date-time”：“2010-09-11T02:3 1:38Z“，”时间戳“：1284172298000}，”页面“：”91-106“，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“通过重写闭包确定右（基或变量）重写系统的基本属性”]，“prefix”：“10.1007”，”author“：[{”given“：”Guillem“，”family“：”Godoy“，”sequence“：”first“，”affiliation“：[]}，{”given“，“Ashish”，“family”：“Tiwari”，“sequence”：“additional”，“afliation”：[]]}]，“member”：“297”，“reference”：[{“key”：“5_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Bachmair，L.：标准等式证明。Birkh\u00e4user，Boston（1991）”，“doi”：“10.1007\/978-1-4684-7118-2”}，{“key”：”5_CR2“，”series-title“：”LNAI“，”doi-assert-by“：”publisher“，”first page“：”64“，”doi“：”10.1007\/10721959_5“，“volume-title”：“自动扣除-CADE-17”，“author”：“L.Bachmair”，“year”：“2000”，“unstructured”：“Bachmail，L.，Tiwari，A.：抽象同余闭包和特殊化。收录：McAllester，D.（ed.）CADE 2000。LNCS（LNAI），第u00a01831卷，第64\u201378页。Springer，Heidelberg（2000）“}，{“key”：“5_CR3”，“unstructured”：“Comon，H.，Dauchet，M.，Gilleron，R.，Jacquemard，F.，Lugiez，D.，Tison，S.，Tommasi，M.：Tree automata technologies and applications（1997），可在http://www.grappa.univ-lille3.fr\/tata”}上获得，{”key“：”5_CR4“，”doi-asserted-by“：”crossref“，”非结构化“：”Comon，H.，Godoy，G.，Nieuwenhuis，R.：基本项重写系统的合流在多项式时间内是可判定的。收录于：第42届IEEE计算机科学基础年会（FOCS），美国内华达州拉斯维加斯，第298\u2013307页（2001）“，“DOI”：“10.1109\/SFCS.2001.959904”}，{“key”：“5_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dershowitz，N.，Jouannaud，J.-P.：重写系统。收录：van Leeuwen，J.（ed.）理论计算机科学手册。形式模型和符号学（B），第u00a0B卷，第243\u2013320页。麻省理工学院出版社，Elsevier（1990）“，”DOI“：”10.1016\/B978-0-444-88074-1.50011-1“}，{”key“：”5_CR6“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“85”，“DOI”：“10.1007\/3-540-36494-3_9”，“volume-title”：“STACS 2003”，“author”：“G.Godoy”，“year”：“2003”，”unstructured“：”Godoy，G.，Tiwari，A.，Verma，R.：关于线性浅项重写系统的汇合。摘自：Alt，H.，Habib，M.（编辑）STACS 2003。LNCS，第00a02607卷，第85页\u201396。Springer，Heidelberg（2003）“}，{“key”：“5_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Godoy，G.，Tiwari，A.，Verma，R.：通过重写闭包和右基项重写系统表征合流。《纯粹与应用逻辑年鉴》（2004）（待出版）”，“doi”：“10.1007\/s00200-004-0148-6”}，}“key”：“5 _CR8”，“doi-asserted-by”非结构化”：“Godoy，G.，Tiwari，A.，Verma，R.：通过重写闭包和右基项重写系统表征合流。工程、通信和计算中的应用代数\u00a015（1）（2004）（暂定）“，”DOI“：”10.1007\/s00200-004-0148-6“}，{“问题”：“5”，“密钥”：“5_CR9”，“DOI-asserted-by”：“出版商”，“首页”：“265”，”DOI:“10.1016\/S0020-0190（03）00310-7”，“卷”：“87”，“作者”：“F.Jacquemard”，“年份”：“2003”，“非结构化”：“Jacquemard，F.：对于平面项重写系统，可达性和合流性是不可判定的。信息处理。莱特。\u00a087（5），265\u2013270（2003）“，“日记标题”：“Inf.Process。莱特。“｝，｛”键“：”5_CR10“，”非结构化“：”Mitra，S.：收敛系统的语义统一。博士论文。伊利诺伊大学厄巴纳-香槟分校（1994）“｝，｛”问题“：”4“，”键“：”5_CR11“，”首页“：”54“，”卷“：”44“，”作者“：”I.Mitsuhashi“，”年份“：”2003“，”非结构化“：”Mitsuhashi，I.，Oyamaguchi，M.，Ohta，Y.，Yamada，T.：关于汇合单元项重写系统的统一问题。IPSJ事务。Programming\u00a044（4），54\u201366（2003）“，“journal-title”：“IPSJ Trans。编程“}，{“key”：“5_CR12”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“246”，“doi”：“10.1007\/3-540-45127-7_19”，“volume-title”：《重写技术与应用》，“author”：“M.Oyamaguchi”，《年份》：“2001”，“非结构化”：“Oyamaguchi，M.，Ohta，Y.：合流右轮项重写系统的统一问题。收录：Middeldorp，A.（编辑）RTA 2001。LNCS，卷\u00a02051，第246\u2013260页。Springer，Heidelberg（2001）“}，{”key“：”5_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“405”，”doi“：”10.1007\/3-540-56868-9_30“，”volume-title“：“重写技术与应用”，”author“：”D.A.Plaisted“，”year“：”1993“，”unstructured“：”Plaisted，D.A.：多项式时间终止和约束满意度测试。收录：Kirchner，C.（编辑）RTA 1993。LNCS，第u00a0690卷，第405\u2013420页。Springer，Heidelberg（1993）“}，{“key”：“5_CR14”，“series title”：“计算机科学讲义”，“doi断言者”：“出版者”，“首页”：“246”，“doi”：“10.1007\/10721975_17”，“卷标题”：“重写技术与应用”，“作者”：“T.Takai”，“年份”：“2000”，“非结构化”：“Takai，T.，Kaji，Y.，Seki，H.：右线性有限路径重叠项重写系统有效地保持了可识别性。收录：Bachmair，L.（编辑）RTA 2000。LNCS，第u00a01833卷，第246\u2013260页。Springer，Heidelberg（2000）“}”，“container-title”：[“计算机科学课堂讲稿”，“自动推理”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-25984-8_5.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{date-parts“：[[2020,11,19]]，“date-time”：“2020-11-19T04:18:57Z”，“timestamp”：1605759537000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-25984-8_5”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2004]]}”，“ISBN”：[“9783540223450”，“9783540259848”]，“references-count”：14，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-25984-8_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2004]]}}}}