Revisiting zariski main theorem from a constructive point of view
- Alonso, M.E.
- Coquand, T.
- Lombardi, H.
ISSN: 1090-266X, 0021-8693
Any de publicació: 2014
Volum: 406
Pàgines: 46-68
Tipus: Article
ISSN: 1090-266X, 0021-8693
Any de publicació: 2014
Volum: 406
Pàgines: 46-68
Tipus: Article