Constructive Krull Dimension. I: Integral Extensions
Artikel i vetenskaplig tidskrift, 2009

Författare

Thierry Coquand

Göteborgs universitet

Lionel Ducos

Henri Lombardi

Claude Quitte

Journal of Algebra and its Applications

0219-4988 (ISSN)

Vol. 8 1 129-138

Ämneskategorier

Matematik

Beräkningsmatematik