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
À propos des réseaux d’automates booléens
22 mars 2021
Sylvain Sené
(LIS, Aix Marseille University)
TBA
Navigation de l’article
Threshold dot-depth one languages.
A type theoretic approach to weak omega-categories
