Knowledge Tree

thesis

Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère

Defense date:

Jan. 1, 2006

Edit

Institution:

Palaiseau, Ecole polytechnique

Disciplines:

Computer sciences

Authors:

Mircea Dan Hernest

Directors:

Helmut Schwichtenberg

Jean-Pierre Jouannaud

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.