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
The complexity of mean payoff games using universal graphs
15 avril 2019
Nathanael Fijalkow
(LABRI - Université de Bordeaux)
TBA
Navigation de l’article
Points apériodiques dans les sous-shifts de dimension 2
Two-Way Parikh Automata with a Visibly Pushdown Stack
