Title: |
Mini-Workshop: Formal Methods in Commutative
Algebra: A View Toward Constructive Homological
Algebra
|
Organisers: |
Thierry Coquand, Göteborg
Alban Quadrat, Sophia Antipolis
Ihsen Yengui, Sfax
|
Date: |
November 8th - November 14th, 2009
|
ID: |
0946b
|
|
view enlarged photo
see more photos
|