Constructive Krull Dimension. I: Integral Extensions
Journal article, 2009
Author
Thierry Coquand
University of Gothenburg
Lionel Ducos
Henri Lombardi
Claude Quitte
Journal of Algebra and its Applications
0219-4988 (ISSN)
Vol. 8 1 129-138Subject Categories
Mathematics
Computational Mathematics
DOI
10.1142/S0219498809003199