AGREE -- 具有受控嵌入的代数图重写（长版本）
计算机科学中的逻辑
2015-06-09 v2
摘要
文献中提出的几种图变换代数方法都确保：如果一个项被规则保留，那么它与所嵌入的上下文图的连接也会被保留。但在某些应用中（例如克隆一个项时），需要为原始项和副本指定不同的嵌入。因此，我们提出了这些方法的一个保守扩展，其中规则可以指定如何改变被保留项的嵌入，通常是通过移除某些连接。
引用
@article{arxiv.1411.4597,
title = {AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)},
author = {Anadrea Corradini and Dominique Duval and Rachid Echahed and Frédéric Prost and Leila Ribeiro},
journal= {arXiv preprint arXiv:1411.4597},
year = {2015}
}