Author:
Coquand Thierry,Tête Claire
Subject
Algebra and Number Theory
Reference11 articles.
1. La logique des topos;Boileau;J. Symbolic Logic,1981
2. Algèbre commutative, chapitre X;Bourbaki,2007
3. Constructive finite free resolutions;Coquand;Manuscripta Math.,2012
4. On regular sequences;Dieudonné;Nagoya Math. J.,1966
5. Aspects invariants de l'élimination;Jouanolou;Adv. Math.,1995