Revisiting zariski main theorem from a constructive point of view
- Alonso, M.E.
- Coquand, T.
- Lombardi, H.
ISSN: 1090-266X, 0021-8693
Ano de publicación: 2014
Volume: 406
Páxinas: 46-68
Tipo: Artigo
ISSN: 1090-266X, 0021-8693
Ano de publicación: 2014
Volume: 406
Páxinas: 46-68
Tipo: Artigo