IRIT - UMR 5505 - Publications

Publications

Consultation de la base des publications de l'IRIT

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.

Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper). Dans : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/2011-12/10/2011, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, p. 20-34, octobre 2011.
BibTeX
Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Typed lambda-terms in categorical attributed graph rewriting (regular paper). Dans : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/2011-30/06/2011, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), Electronic Proceedings in Theoretical Computer Science, EPTCS, (en ligne), juin 2011.
Résumé Accès : http://arxiv.org/pdf/1107.0065v1
BibTeX
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Typed Lambda Terms in Categorical Graph Rewriting (regular paper). Dans : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/2011-22/04/2011, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, p. 9-17, avril 2011.
BibTeX