Generating non-Noetherian modules constructively
Artikel i vetenskaplig tidskrift, 2004

Författare

Thierry Coquand

Göteborgs universitet

Henri Lombardi

Claude Quitte

Manuscripta Math

Vol. 115 4 513-520

Ämneskategorier

Matematik