Henselian Local Rings: Around a Work in Progress

Hervé Perdry, Mariemi Alonso, Henri Lombardi. Henselian Local Rings: Around a Work in Progress. In Thierry Coquand, Henri Lombardi, Marie-Françoise Roy, editors, Mathematics, Algorithms, Proofs, 9.-14. January 2005. Volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]

Authors

Hervé Perdry

This author has not been identified. Look up 'Hervé Perdry' in Google

Mariemi Alonso

This author has not been identified. Look up 'Mariemi Alonso' in Google

Henri Lombardi

This author has not been identified. Look up 'Henri Lombardi' in Google