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
Winning strategies that play the same at equivalent histories of equal length
27 mai 2019
Stéphane Le Roux
(LSV - ENS Cachan)
TBA
Navigation de l’article
On the semantics of higher-order probabilistic programs
Introduction to Graph Edit Distance (GED) problem
