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

DOI

10.1142/S0219498809003199

Mer information

Senast uppdaterat

2018-11-26