Revisiting zariski main theorem from a constructive point of view

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

ISSN: 1090-266X,  0021-8693

Year of publication: 2014

Volume: 406

Pages: 46-68

Type: Article

DOI: 10.1016/J.JALGEBRA.2014.02.003 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus