Coquand, Thierry and Lombardi, Henri. "Some Remarks about Normal Rings".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 141-150.
https://doi.org/10.1515/9781501502620-008Coquand, T. & Lombardi, H. (2016). Some Remarks about Normal Rings. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 141-150). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-008Coquand, T. and Lombardi, H. 2016. Some Remarks about Normal Rings. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 141-150.
https://doi.org/10.1515/9781501502620-008Coquand, Thierry and Lombardi, Henri. "Some Remarks about Normal Rings" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 141-150. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-008Coquand T, Lombardi H. Some Remarks about Normal Rings. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.141-150.
https://doi.org/10.1515/9781501502620-008Copied to clipboard
