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-138

Subject Categories

Mathematics

Computational Mathematics

DOI

10.1142/S0219498809003199

More information

Latest update

11/26/2018