安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 代数图变换的pullback-pushout方法。 （英文） Zbl 1425.68156号 de Lara，Juan（编辑）等人，《图形变换》。2017年7月18日至19日，作为2017年STAF的一部分，在德国马尔堡举行的第十届国际会议，ICGT 2017。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10373, 3-19 (2017). 摘要：一些最新的图转换代数方法包括涉及匹配的回调构造，它允许指定宿主图项的克隆。我们通过提出“撤退”计划来进一步推动这一趋势(磷酸铅)方法中，我们将规则指定的宿主图的经典修改（图形态的跨度）与另一规则指定的结构的克隆平滑地结合在一起。该方法是同意（因此sqpo公司方法），我们证明它可以用标准技术扩展到属性图。我们讨论了确保变换的局部性形式的条件，以及确保变换图的属性是完全的条件。关于整个系列，请参见[Zbl 1367.68013号]. 引用于6文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，Lect。注释计算。科学。10373，3-19（2017；Zbl 1425.68156） 全文： 内政部 链接