Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Infinite time computations and ranks in descriptive set theory
16 mars 2020
Philipp Schlicht
(University of Bristol)
TBA
Navigation de l’article
Controlling a random population
Un algorithme stochastique pour résoudre les jeux stochastique simples
