Generating non noetherian modules constructively
Artikel i vetenskaplig tidskrift, 2004
Författare
Thierry Coquand
Göteborgs universitet
H. Lombardi
Université de Franche-Comté
C. Quitte
Laboratoire de Mathématiques
Manuscripta Mathematica
0025-2611 (ISSN) 1432-1785 (eISSN)
Vol. 115 4 513-520Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/s00229-004-0509-2