Le moteur de recherche
des thèses françaises
Loïc Colson
IdRefMots clés
FR |
EN
Algorithmique
Exact
Exponentiel
Graphes
Énumération
Input-sensitive
Problèmes NP-difficiles
Algorithmes
Théorie des graphes
Fonctions exponentielles
Analyse combinatoire énumérative
Complexité de calcul (informatique)
Isomorphisme de Curry-Howard
Enseignement
Mathématiques -- Philosophie
Logique mathématique non classique
Lambda-calcul typé
Calcul des constructions
Calculs pédagogiques
Logique