paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 033998183Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Schwichtenberg, Helmut

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : allemand
Pays : Allemagne

Notes

Note publique d'information : 
Ecrit aussi en anglais

Note publique d'information : 
Mathématicien. En poste au Mathematisches Institut, Ludwig-Maximilians-Universität München, Allemagne (en 1993).Directeur de thèse à l'Ecole Polytechnique de Palaiseau (Essonne), 2006

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/46861987
Identifiant ZBMath : schwichtenberg.helmut
Identifiant Wikidata : http://www.wikidata.org/entity/Q1291944
Identifiant ISNI : 0000000108961082

Source

Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectia (monotone) légère / par Mircéa Dan Hernest ; sous la direction de Jean-Pierre Jouannaud et de Helmut Schwichrenberg. Thèse, Palaiseau (Essonne), 2006

Logic and algebra of specification / ed. by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg, 1993

... Références liées : ...