Geodesic
Constructions of finitely generated submodules of constructively noetherian modules
Compositio Mathematica, Tome 62 (1987) no. 1, pp. 47-52

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Ruitenburg, Wim. Constructions of finitely generated submodules of constructively noetherian modules. Compositio Mathematica, Tome 62 (1987) no. 1, pp. 47-52. http://geodesic.mathdoc.fr/item/CM_1987__62_1_47_0/
@article{CM_1987__62_1_47_0,
     author = {Ruitenburg, Wim},
     title = {Constructions of finitely generated submodules of constructively noetherian modules},
     journal = {Compositio Mathematica},
     pages = {47--52},
     year = {1987},
     publisher = {Martinus Nijhoff Publishers},
     volume = {62},
     number = {1},
     mrnumber = {892150},
     zbl = {0622.13006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1987__62_1_47_0/}
}
TY  - JOUR
AU  - Ruitenburg, Wim
TI  - Constructions of finitely generated submodules of constructively noetherian modules
JO  - Compositio Mathematica
PY  - 1987
SP  - 47
EP  - 52
VL  - 62
IS  - 1
PB  - Martinus Nijhoff Publishers
UR  - http://geodesic.mathdoc.fr/item/CM_1987__62_1_47_0/
LA  - en
ID  - CM_1987__62_1_47_0
ER  - 
%0 Journal Article
%A Ruitenburg, Wim
%T Constructions of finitely generated submodules of constructively noetherian modules
%J Compositio Mathematica
%D 1987
%P 47-52
%V 62
%N 1
%I Martinus Nijhoff Publishers
%U http://geodesic.mathdoc.fr/item/CM_1987__62_1_47_0/
%G en
%F CM_1987__62_1_47_0