Voir la notice de l'article provenant de la source Numdam
@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}, publisher = {Martinus Nijhoff Publishers}, volume = {62}, number = {1}, year = {1987}, 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 -
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/