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
Rational Players in Committee-based Blockchains
1 mars 2021
Yackolley Amoussou Guenou
(CEA)
TBA
Navigation de l’article
Proof Theory on Graphs
Left and Right Kan Extensions in Cellular Automata
