{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,7,19]]，“日期-时间”：“2022-07-19T10:14:59Z”，“时间戳”：1658225699784}，“出版商位置”：“柏林，海德堡”，“参考-计数”：14，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540568681”，“类型”：“print”}，{“value”：“9783662215517”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1993,1]]，“date-time”：“1993-01-01T00:00:00Z”，“timestamp”：725846400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[1993,1,1]，“日期-时间”：“1993-01-01T00:00:00Z”，“时间戳”：725846400000}，“内容版本”：“vor”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1993]}，”DOI“：”10.1007\/978-3662-21551-7_37“，”type“：”book-chapter“，”created“：”{“date-part”：[2022,7,19]]，“date-time”：“2022-07-19T09:30:08Z”，“timestamp”：1658223008000}，“page”：“457-461”，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”Smaran:基于同余闭包的等式计算系统“]，”prefix“：”10.1007“，“author”：[{“given”:“Rakesh M.”，“family”：“Verma”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：“37_CR1”，”first page“：”108“，”volume“：”21“，”author“：”P.Chew“，“year”：“1980”，“unstructured”：“P.Chew.方程计算的改进算法。在IEEE计算机科学基础交响曲的Proc.中，第21卷，第108 \u2013117页，1980。”，“日志标题”：“IEEE计算机科学基础交响乐的Proc.”}，{“issue”：“4”，“key”：“37_CR2”，“doi-asserted-by”：“publisher”，“first-page”：“758”，“DOI”：“10.1145\/322217.32228”，“volume”：“27”，“author”：“P.J.Downey”，“year”：“1980”，“unstructured”：“J.Donney，R.Sethi，and R.E.Tarjan.常见子表达式问题的变体。JACM，27（4）：758\u20137711980。”，“journal-title”：“JACM”}，{“key”：”37_CR3“unstrustured”。Plaisted公司。OBJ中参数化抽象对象编程，第163\u2013193页。North-Holland，1983.“}，{”key“：”37_CR4“，”doi-asserted-by“：”publisher“，”first page“：“83”，”doi“：”10.1145\/357153.357158“，“volume”：“4”，“author”：“C.M.Hoffmann”，“year”：“1982”，“unstructured”：“C.M.Hoff mann和M.J.O'Donnell。用等式编程。ACM编程语言和系统事务，4:83\u2013112，1982。”，“journal-title”：“《程序设计语言与系统学报》}，{“key”：“37_CR5”，“unstructured”：“G.Huet和J.J.Levy。非模糊线性项重写系统中的按需调用计算。Rapport Laboria 283。IRIA，1979年。“}，{”key“：”37_CR6“，”doi-asserted-by“：”publisher“，”first page“：“263”，”doi“：”10.1016\/B978-0-08-012975-4.50028-X“，”volume-title“：”抽象代数中的计算问题“，”author“：”D.E.Knuth“，”year“：”1970“，”unstructured“：”D.E.Knuch和P.Bendix.普适代数中的简单单词问题。in J。Leech，编辑，《抽象代数中的计算问题》，第263\u2013297页。牛津，佩加蒙出版社，1970年。“}，{”key“：”37_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”D.Kozen.有限表示代数的复杂性。第九届ACM计算机理论研讨会，第164\u20131771977页。“，”doi“：”10.1145\/800105.803406“}”，{10.1145\/322186.322198“，“卷”：“27”，“作者”：“G.Nelson”，“年份”：“1980”，“非结构化”：“G Nelson和D.C.Oppen。基于同余闭包的快速决策算法。JACM，27:356\u20133641980.“，”journal-title“：”JACM“}，{“key”：“37_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“M.J.O'Donnell.方程描述的系统中的计算，计算机科学讲义第58卷.Springer-Verlag，1977。”，“doi”：“10.1007\/3-540-08531-9”}，“key“：”37_CR10“，”unstructure“：”R.C.Sekar and I.V。罗摩克里希南。等式逻辑编程：超越强顺序性。程序中。IEEE Conf.on Logic in Computer Science，1990.”｝，｛“key”：“37_CR11”，“卷标题”：“博士论文”，“作者”：“Rakesh M.Verma”，“年份”：“1989”，“非结构化”：“Rakesh M.Verma。方程、非遗忘归一化和术语匹配问题。博士论文，纽约州立大学石溪分校，1989。”｝，｛“key”：“37_CR12”，“非结构化”：“拉凯什·M·维尼亚。将历史用于方程式系统的理论及其应用。程序中。IEEE FOCS，第348\u2013357页，1991年R.M.Verma和I.V.Ramakrishnan。非线性系统的非遗忘归一化算法。程序。ICALP，第443卷，第370\u2013385页。Springer Verlag，1990.”，“DOI”：“10.1007\/BFB032045”}]，“容器标题”：[“重写技术和应用程序”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“https:\/\/link.Springer.com\/content/pdf\/10.1007\/978-3-662-21551-7_37”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查“｝”，“寄存”：｛“日期部分”：[[2022,7,19]]，“日期-时间”：“2022-07-19T09:33:10Z”，“时间戳”：1658223190000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://link.springer.com\/10.1007\/978-3-662-21551-7_37”｝，“副标题”：[]，“短标题”：[]，“已发行”：｛“日期部分”：[[1993]]｝，“国际标准图书编号”：[“9783540568681”，“9783662215517”]，“references-count“：14，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3662-21551-7_37“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“、”type“:”print“}、{“value”：“1611-3399”、“type”：”electronic“}]、“subject”：[]，“published”：{“date-parts”：[[1993]]}}}