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
OWR Report
OWR_2009_50.pdf

Workshop Reports


Lookup workshop in oberwolfach photo collection