Publications de
Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev
Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper)
Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/09-14/10/09, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
Maxime Rebout, Louis Féraud, Sergei Soloviev
A Unified Categorical Approach for Attributed Graph Rewriting
Dans : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/08-12/06/08, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, p. 398-410, juin 2008.
Une approche catégorique unifiée pour la récriture de graphes attribués
Thèse de doctorat, Université Paul Sabatier, juillet 2008.
Résumé Accès : http://www.irit.fr/publis/MACAO/TheseMRebout.pdf
BibTeX