Revisiting zariski main theorem from a constructive point of view

  1. Alonso, M.E.
  2. Coquand, T.
  3. Lombardi, H.
Revista:
Journal of Algebra

ISSN: 1090-266X 0021-8693

Ano de publicación: 2014

Volume: 406

Páxinas: 46-68

Tipo: Artigo

DOI: 10.1016/J.JALGEBRA.2014.02.003 GOOGLE SCHOLAR lock_openAcceso aberto editor