Le moteur de recherche
des thèses françaises
François Métayer
IdRefMots clés
FR |
EN
Catégories supérieures
Homologie
Homotopie
Logique monadique du second-ordre
Logique de seuil
Architecture des réseaux d'ordinateurs
Groupes abéliens
Theorie de l'homotopie
Groupes d'homotopie
Systèmes de Steiner
Mathématiques
Catégories strictes
Catégories de Gray
Réécriture
Problème du mot
Diagrammes de recollement
Catégories (mathématiques)
Ω-catégories
Polygraphes
K-théorie