Curves and coherent Prüfer rings
Journal article, 2010

Author

Thierry Coquand

University of Gothenburg

Henri Lombardi

Universite de Franche-Comte

Claude Quitte

Laboratoire de Mathématiques

Journal of Symbolic Computation

0747-7171 (ISSN) 1095-855X (eISSN)

Vol. 45 12 1378-1390

Subject Categories

Computer and Information Science

DOI

10.1016/j.jsc.2010.06.016

More information

Latest update

8/26/2019