Total number of photos: 24092

Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra: 2009-11-08 - 2009-11-14

Thierry Coquand, Ihsen Yengui, Alban Quadrat
    • T. Coquand
    • I. Yengui
    • A. Quadrat
    • (2009)
 		Alban Quadrat
    • A. Quadrat
    • (2009)
 		Ihsen Yengui
    • I. Yengui
    • (2009)
    • Mini-Workshop: Formal Methods ...
    • (2009)

For more detailed information please click on the photo.