Publications

Publications de

Communications dans un congrès
Thèses
  • Bertrand Boisvert

    Catégories, lambda-calcul typé et preuves pour la transformation de graphes attribués

    Thèse de doctorat, Université Paul Sabatier, septembre 2013.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par