Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
8 Nov -
14 Nov 2009
ID: 0946b
- Organizers
-
Thierry Coquand, Göteborg Alban Quadrat, Sophia Antipolis Ihsen Yengui, Sfax
Lookup workshop in oberwolfach photo collection