Retour /Back Méthodes constructives en algèbre homologique, implémentations et applications
Constructive Homological Algebra Methods, Implementations and Applications
24/01/2011 - 28/01/2011
Liste des participants / List of participants
Organisateurs /
Organizer:
Thierry COQUAND University of Gothenburg
Computer Science
S 41296 Gothenburg, SUEDE
Alban QUADRAT INRIA Paris
Projet DISCO
3 rue Juliot Curie
91192 Gif-sur-Yvette cedex, FRANCE