TY  - JOUR
AU  - Thierry Coquand
AU  - Henri Lombardi
AU  - Claude Quitté
TI  - Dimension de Heitmann des treillis ditributifs et des anneaux commutatifs
JO  - Publications mathématiques de Besançon. Algèbre et théorie des nombres
PY  - 2006
SP  - 57
EP  - 100
PB  - Presses universitaires de Franche-Comté
UR  - https://pmb.centre-mersenne.org/articles/10.5802/pmb.a-113/
DO  - 10.5802/pmb.a-113
LA  - fr
ID  - PMB_2006____57_0
ER  -