使用PBPO+的图重写和重标记：拟拓扑的统一理论
摘要：扩展的带有强匹配的Pullback-Pushout（PBPO）方法用于图重写。我们的方法称为PBPO+，允许更多地控制模式在主图中的嵌入，这对于许多重写系统来说非常重要。我们认为PBPO+可以被认为是拟拓扑的一般设置中的统一理论，通过证明PBPO+可以定义PBPO、AGREE和DPO可定义的重写关系的严格超集。此外，我们还通过在标签集上引入格结构和要求图同态保序来展示PBPO+非常适合重写带标签的图和某些属性图的类别。
作者：Roy Overbeek, J"org Endrullis, Alo"is Rosset
论文ID：2203.01032
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-26