Revisiting zariski main theorem from a constructive point of view
- Alonso, M.E.
- Coquand, T.
- Lombardi, H.
ISSN: 1090-266X, 0021-8693
Datum der Publikation: 2014
Ausgabe: 406
Seiten: 46-68
Art: Artikel
ISSN: 1090-266X, 0021-8693
Datum der Publikation: 2014
Ausgabe: 406
Seiten: 46-68
Art: Artikel