Author:
Corradini Andrea,Duval Dominique,Echahed Rachid,Prost Frederic,Ribeiro Leila
Publisher
Springer International Publishing
Reference19 articles.
1. Bauderon, M., Jacquet, H.: Pullback as a generic graph rewriting mechanism. Appl. Categorical Struct. 9(1), 65–82 (2001)
2. Cockett, J., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(12), 223–259 (2002)
3. Cockett, J., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294(12), 61–102 (2003)
4. Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L.: AGREE - algebraic graph rewriting with controlled embedding. CoRR abs/1411.4597 (2014).
http://arxiv.org/abs/1411.4597
5. Lecture Notes in Computer Science;A Corradini,2006
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fundamentals of compositional rewriting theory;Journal of Logical and Algebraic Methods in Programming;2023-10
2. Computational category-theoretic rewriting;Journal of Logical and Algebraic Methods in Programming;2023-08
3. Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes;Journal of Logical and Algebraic Methods in Programming;2023-06
4. A PBPO+ Graph Rewriting Tutorial;Electronic Proceedings in Theoretical Computer Science;2023-04-01
5. Unification of drags and confluence of drag rewriting;Journal of Logical and Algebraic Methods in Programming;2023-02