Curves and coherent Prüfer rings
Journal article, 2010
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
University of Franche-Comté
Claude Quitte
Laboratoire de Mathématiques
Journal of Symbolic Computation
0747-7171 (ISSN) 1095-855X (eISSN)
Vol. 45 12 1378-1390Subject Categories
Computer and Information Science
DOI
10.1016/j.jsc.2010.06.016