{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,29]]，“日期时间”：“2024-04-29T17:49:34Z”，“时间戳”：1714412974376}，“参考计数”：38，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：}“日期部分“：[[2023,2,1]]，”日期时间“：”2023-02-01T00:00Z”，“timestamp”：1675209600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[2022,12,13]]，“date-time”：“2022-12-13T00:00:00Z”，“timestamp”：1670889600000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/license\/by\/4.0\/“}]，”content-domain“：{”domain“:[”elsevier.com“，”sciencedirect.com“]，“crossmark-restriction”：true}，“short-container-title”：[“程序设计中的逻辑和代数方法杂志”]，“published-print”：{“date-parts”：[[2023,2]]}，”DOI“：”10.1016\/j.jlamp.2022.100845“，”type“：”Journal-article“，”created“：{”date-part“：[2022,12,22]]，”date-time“：”2022-12-22T17:32:27Z“，”timestamp“：1671730347000}“page”：“100845英寸，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：1，“title”：[“拖动重写的统一和合流”]，“前缀”：“10.1016”，“卷”：“131”，“作者”：[{“给定”：“Jean-Pierre”，“家族”：“Jouannaud”，“序列”：“first”，“从属关系”：[]}，{“指定”：“Fernando”，“family”：“Orejas”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.jlamp.2022.100845_br0010”，“article-title”：“On the the本质and initiality of conflictions in m-adhesion transformation systems”，“volume”：《109》，“author”：“Grochau Azzi”，“year”：“2019”，“journal title”：《j.Log.Algebraic Methods Program.》，}，{“issue”：“2\u20133”，“key“：“10.1016\/j.jlamp.2022.100845_br0020”，“doi-asserted-by”：“crossref”，“first page”：“83”，“doi”：“10.1007\/BF01692060”，”article-title“：”图形表达式和图形重写“，”卷“：“20”，“author”：“Bauderon”，“year”：“1987”，“journal-title”：“Math.Syst.Theory”}，{“key”：”10.1016\/jlamp.2021.00845_br0030“，”serial es-title“（电子标签）：“编程语言与系统——第26届欧洲编程研讨会，2017年ESOP，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2017，乌普萨拉，瑞典，2017年4月22日至29日，会议记录”，“首页”：“141”，“文章标题”：“图形重写与接口的融合”，“作者”：“Bonchi”，“年份”：“2017”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0040”，“series-title”：“程序转换和评估重写技术第四次国际研讨会论文集”，“volume”：《第265卷》，“year”：“2018”}，{“key”：：“图表转换-2015年第八届国际会议，ICGT，作为2015年STAF的一部分，于2015年7月21日至23日在意大利拉奎拉举行。Proceedings”，“first page”：“35”，“article-title”：“AGREE-代数图重写与受控嵌入”，“author”：“Corradini”，“year”：“2015”}，{“key”：”10.1016\/j.jlamp.2022.100845_br0060“，“series-title”：”graph Transformations，Third International Conference，ICGT 2006“，”first page:“30”，“article-title”：“Sesqui-pushout重写”，“author”Corradini“，”year“：”2006“}，{“key”：“10.1016\/j.jlamp.2022.100845_br0070”，“series-title”：“理论计算机科学手册，B卷：形式模型和语义”，“首页”：“243”，“文章标题”：“重写系统”，“author”：“Dershowitz”，“year”：“1990”}，“key“10.1016”//jlamp.2021.00845_br0080“，”series-ttle“：”LPAR-22。第22届国际程序设计、人工智能和推理逻辑会议”，“首页”：“307”，“文章标题”：“图形路径排序”，“卷”：“第57卷”，“作者”：“Dershowitz”，“年份”：“2018”}，{“键”：“10.1016\/j.jlamp.2022.100845_br0090”，“doi-asserted-by”：“crossref”，“第一页”：”204“，“doi”：“101016\/j.tcs.2019.01.29”，“article-title“：“Drags:一个用于图重写的合成代数框架”，“volume”：“777”，“author”：“Dershowitz”，“year”：“2019”，“journal-title”：“Theor。计算。科学。“}，{”key“：”10.1016\/j.jlamp.2022.100845_br0100“，”unstructured“：”Nachum Dershowitz，Jean-Pierre Jouannaud，Fernando Orejas，Graph重写兼拖动重写，Work in preparation“，”{“key”：“10.1016\/j.jlamp.2021.00845_br0110”，“doi-asserted-by”：“crossref”，“unstructure”：“”Frank Drewes，Hans-J\u00f6rg Kreowski，Annegret Habel，超边缘替换，图文法，收录于：Rozenberg[37]，pp.95\u2013162.“，”DOI“：”10.1142\/978812384720_0002“}，{“key”：“10.1016\/J.jlamp.2022.100845_br0120”，“series-title”：“代数图变换的基础”，“author”：“Ehrig”，“year”：“2006”}，“key“：”10.1016\/j.jlamp.2022.100845_br0130“，“doi-asserted-by”：“crossref”，“unstructured”：“Hartmut Ehrig，Reiko Heckel，Martin Korff，Michael L\u00f6we，Leila Ribeiro，Annika Wagner，Andrea Corradini，图变换的代数方法\u2013第二部分：单推出方法和双推出方法的比较，in:Rozenberg[37]，第247\u2013312页。“，”DOI“：”10.1142\/9789812384720_0004“}，{“key”：“10.1016\/j.jlamp.2022.100845_br0140”，“series-title”：“第十四届交换与自动化理论年会，爱荷华州爱荷华市”，“首页”：“167”，“article-title”：”代数方法“，”author“：”Ehrig“，”year“：”1973“}”，{”key“：”1016\/j.jlamp.2022.100845_br0150“，“series-title”：“IWC”，“first page“：”23“，”article-title“：”left-linear term rewrite systems合流的规则标记“，”author“：”Felgenhauer“，”year“：”2013“}，{“issue”：“2”，“key”：“10.1016\/j.jlamp.2022.100845_br0160”，“doi-asserted-by”：“crossref”，“first pages”：“14:1”，”doi“10.1145\/2710017”，“article-title”：“证明合流的层系统”，“volume”：”16“，”作者“：”Felgenhauer“，“年份”：“2015年”，“新闻标题”：“ACM Trans。计算。日志。“｝，｛”issue“：”5“，”key“：”10.1016\/j.jlamp.2022.100845_br0170“，”doi断言“：”crossref“，”首页“：”615“，”doi“：”10.1017\/S09601129518000270“，”文章标题“：”战略端口图重写：一个交互式建模框架“，”卷“：”29“，”作者“：”Fern\u00e1ndez“，”年份“：”2019“，”期刊标题“：”Math.Struct.Comput.Sci.“｝，｛”issue“：”1“，“密钥”：“10.1016\/j.jlamp.2022.100845_br0180“，”doi-asserted-by“：”crossref“，”first page“：”37“，”doi“：”10.3233\/FI-1991-15104“，”article-title“：”丛林评估“，”volume“：“15”，“author”：“Habel”，“year”：“1991”，“journal-title”：“Fundam。通知。“}，{”key“：”10.1016\/j.jlamp.2022.100845_br0190“，”series-title“：”图形转换、规范和网络\u2013在Hartmut Ehrig的记忆中“，”volume“：“vol.10800”，“year”：“2018”}，”{“key”：“10.1016\/j.jalmp.2022.00845_br0200”，“series-tile”：“”软件技术：应用和基础-STAF 2017协作研讨会，德国马尔堡，2017年7月17日至21日，修订论文集，“首页”：“92”，“文章标题”：“检查图形程序的汇合”，“卷”：“第10748卷”，“作者”：“赫里斯塔基耶夫”，“年份”：“2017”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0210”，“author”：“赫里斯塔基夫”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0220”，“series-title”：“Unification dans les langages d'ordre 1，\u2026，\u03c9”，“author”：“Huet”，“year”：“1976”}，{”issue“：”4“，”key“：”10.1016\/j.jlamp.2021.00845_br0230“，”doi-asserted-by“：”crossref“，”first page“797”，“doi”：“101145\/322217.3 22230“，”文章标题“：“合并约简：术语重写系统的抽象属性和应用”，“卷”：“27”，“作者”：“Huet”，“年份”：“1980”，“日记标题”：“J.ACM”}，{“问题”：“4”，“关键”：“10.1016\/J.jlamp.2022.100845_br0240”，“doi-asserted-by”：“crossref”，“首页”：“1155”，“doi”：“101137\/0215084”，“文章标题”：“完成一组模数为一组方程的规则”，“卷”：“15”，“作者”：“Jouannaud”，“年份”：“1986”，“期刊标题”：“SIAM J.Compute.”}，{“key”：“10.1016\/J.jlamp.2022.100845_br0250”，“series-title”：“计算逻辑-Alan Robinson荣誉论文”，“首页”：“257”，“文章标题”：“求解抽象代数中的方程：基于规则的统一调查”，“author”：“Jouannaud”，“year”：“1991”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0260”，“series-title”：“Hartmut Ehrig记忆中的图形变换、规范和网络”，“首页”：“105”，“文章-标题”：“初始冲突和依赖：重访关键对”，“author”：“Lambers”，“year”：“2018”｝，｛“key”：“10.1016\/j.jamp.2022.100845_br0270”，“doi断言者”：“crossref”，“首页”：“17”，“doi”：“10.1016\/j.entcs.2008.04.026”，“文章标题”：“通过本质关键对在图转换系统中进行有效的冲突检测”，“volume”：“211”，“author”：“Lambers”，“year”：“2008”，“期刊标题”：“Electron.Notes Theor.Comput.Sci.”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0280”，“series-title”：“第24届EACSL计算机科学逻辑年会”，“首页”：“423”，“article-title”：《分层重写系统的融合》，“卷”：“vol.41”，“author”：“Liu”，“year”：“2015”}、{“key”：蒂尔”：“用于属性图转换的符号属性图”，“volume”：“30”，“author”：“Orejas”，“year”：“2010”，“journal-title”：“Electron.Comun.Eur.Assoc.Softw.Sci.Technol.”}，{“key”：”10.1016\/j.jlamp.2022.100845_br0300“，”series-title“：”graph-Grammars及其在计算机科学中的应用“，”first page“：”496“，”article-title“：“用统一和组合重写图形”，“author”：“Parisi-Prescce”，“year”：“1986”}，{“issue”：“2”，“key”：“10.1016\/j.jlamp.2022.100845_br0310”，“doi-asserted-by”：“crossref”，“first page”：”158“，“doi”：“101016\/0022-0000（78）90043-0”，《article-title》：“线性统一”，“volume”：：“16”，“作者”：“Paterson”，“年份”：“1978年，“新闻标题”：“j。计算。系统。科学。“}，{”key“：”10.1016\/j.jlamp.2022.100845_br0320“，”series-title“：”术语图重写：理论与实践“，”首页“：”201“，”article-title“：“超图重写：关键对与合流的不可判定性”，“author”：“Plump”，“year”：“1993”}，“key”：“10.1016\/jlamp.2022.100845_br0330”，“series-ttle”：“”第19届计算机科学数学基础国际研讨会论文集（MFCS’94），斯洛伐克科西塞”，“文章标题”：“术语图重写中的关键对”，“卷”：“第841卷”，“作者”：“Plump”，“年份”：“1994”}，{“key”：“10.1016\/j.jlamp.2022.100845_br0340”，“series-title”：“过程、术语和周期：迈向无限之路的步骤，献给简·威廉·克洛普的散文，在他60岁生日之际”，“首页”：“280”，“文章标题”：“重新审视图形变换的汇合”，“卷”：“第3838卷”，“作者”：“丰满”，“年份”：“2005”}，{“key”：“10.1016\/jlamp.2022.100845_br0350”，“series-title”：“第五届图形语法及其在计算机科学中的应用国际研讨会论文选集”，“首页”：“75”，“文章标题”：“图形统一与匹配”，“卷”：“第1073卷”，“作者”：“Plump”，“年份”：“1994”｝，｛“key”：“10.1016\/j.jlamp.2022.100845_br0360”，“doi asserted by”：“crossref”，“首页”：“1”，“doi”：“10.1016\/0304-3975（84）90021-5“，“文章标题”：“关于图形重写”，“卷”：“32”，“作者”：“Jean-Claude”，“年份”：“1984年”，“新闻标题”：”Theor。计算。科学。“}，{”key“：”10.1016\/j.jlamp.2022.100845_br0370“，”series-title“：”《图形语法和图形变换计算手册》，第1卷：基础“，”year“：”1997“}“，{问题”：“3”，“key”：“10.1016\/j.jlamp.2022.10845_br 0380”，“doi-asserted-by”：“crossref”，“首页”：“423”，”doi“：”101145\/32261.322262“，”“article-title“：“”关联交换函数的统一算法“，”volume“：”28“，”author“：”Stickel“，”year“：”1981“，”journal-title“：”J.ACM“}]，”container-title”：[”journal of Logical and Algebraic Methods in Programming“]，”original-title:“[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S2352220822000980？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2352220822000980？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“存放”：{“date-parts”：[[2023,1,19]]，“date-time“：”2023-01-19T05:00:58Z“，”timestamp“：1674104458000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220822000980”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[2023,2]}，《参考计数》：38，“alternative-id”：[“S23522208220000980”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/j.jlamp.2022.100845“，”关系“：{}，”ISSN“：[”2352-2208“]，”ISSN-type“：[{”value“：”2352-2204“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[2023,2]}，“：”拖曳改写的统一和汇合“，”name“：”articletite“，”label“：”Article Title“}，{”value“：”Journal of Logical and Algebraic Methods in Programming“，”name“：“journaltitle”，“label”：“Journal Title”}，“value”：“https:\/\/doi.org\/101016\/j.jlamp.2022.100845”，“name”：“articlelink”，“table”：“CrossRef doi link to publisher maintained version”}、{“value“:”Article“，”name:“content_type”，“label“：”Content-Type“}，{“value”：“\u00a9 2022作者。由Elsevier Inc.出版”，“name”：“copyright”，“label”：“版权”}]，“文章编号”：“100845”}}