埃丝特·格拉（编辑）；费尔南多·奥雷贾斯（编辑） 第十二届图形变换国际会议专刊前言。 （英语） Zbl 1452.68009号 J.日志。阿尔盖布。方法计划。 115，文章ID 100576，2 p.（2020）. 摘要：本期特刊包含第十二届图形转换国际会议（ICGT 2019）四篇精选论文的扩展版本。这些文章涵盖了图模式匹配的方法，使用图层次结构表示知识，构造保留约束的转换规则，以及定义形式化框架，将DPO重写理论扩展到结构化对象的类别。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 第68季度第42季度 语法和重写系统 68兰特 计算机科学中的图论（包括图形绘制） 68立方英尺 知识表示 00B25型 杂项特定利益的会议记录 关键词：图形变换；图形匹配；图形层次结构；约束和应用条件；DPO重写；笛卡尔函子范畴 PDF格式BibTeX公司 XML格式引用 \textit{E.Guerra}（编辑）和\textit{F.Orejas}（主编），J.Log。阿尔盖布。方法程序。115，文章ID 100576，2 p.（2020；Zbl 1452.68009） 全文： 内政部 参考文献： [1] Barkowsky，M。；Giese，H.，广义图模式匹配的混合搜索计划生成，《程序设计中的逻辑和代数方法杂志》，114，第100563页，（2020）·Zbl 1451.68198号 [2] 哈默，R。；Oshurko，E.，《图形层次中的知识表示和更新》，《程序设计中的逻辑和代数方法杂志》，第114期，第100559页，（2020年）·Zbl 1441.68245号 [3] Nassar，N。；科索尔，J。；阿伦特，T。；Taentzer，G.，《为模型转换规则构建优化的约束保持应用条件》，《程序设计中的逻辑和代数方法杂志》，第114期，第100564页，（2020年）·Zbl 1451.68140号 [4] 科索尔，J。；Fritsche，L.公司。；Schürr，A。；Taentzer，G.，《s-cartesian函子范畴中的双推重写：重写理论及其在部分三重图中的应用》，《程序设计中的逻辑和代数方法杂志》，第114期，第100565页，（2020）·Zbl 1452.68096号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。