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