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
Exploring many solutions of many CA problems: The Formal Notion of Local CA Simulation
25 janvier 2021
Tien Thao Nguyen
(LACL)
TBA
Navigation de l’article
The Bicategory of “Open Functors” and its Friends
TBA