Publications
Consultation de la base des publications de l'IRIT
Marie-Magdeleine Lionel
Pour une recherche plus ciblée, utiliser l'interface d'interrogation de
la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.
Conférences et workshops internationaux / International conferences articles
-
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/2009-14/10/2009, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
BibTeX
Thèses et habilitations / Thesis and HDR