Documentation Documentation
Identifiant IdRef : 033998183
Notice de type Personne

Point d'accès autorisé

Schwichtenberg, Helmut

Information

Langue d'expression : Allemand

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

Autres identifiants

Identifiant BNF : FRBNF124798390
Identifiant ISNI : 0000000108961082

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

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