Le moteur de recherche
des thèses françaises
Gilles Dowek
IdRefMots clés
FR |
EN
Logique informatique
Réécriture, Systèmes de (informatique)
Théorèmes -- Démonstration automatique
Théorie de la démonstration
Théorie des types
Lambda-calcul
Logique
Assistants de preuve
Isomorphisme de Curry-Howard
Preuve formelle
Réécriture
Unification
Axiomes
Prédicat (logique)
Interopérabilité
Mathématiques -- Philosophie
Analyse nonstandard
Géométrie Discrète
Mathématiques Constructives
Mathématiques constructives