Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34(1):1-54, 1999.
2. Kenneth Appel and Wolfgang Haken. Every Planar Map is Four Colorable, volume 98 of Contemporary Mathematics. Amer. Mathematical Society, 1989.
3. Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Michael Löwe, Ugo Montanari, and Francesca Rossi. Algebraic approaches to graph transformation Part I: Basic concepts and double pushout approach. In Rozenberg [29].
4. Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Proc. 1st Int. Conference on Graph Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer Science. Springer, 2002.
5. Bruno Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In Rozenberg [29], pages 313-400.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献