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
Énumération des modèles d’une formule DNF en délai sous linéaire
13 janvier 2020
Yann Strozecki
(Laboratoire DAVID )
TBA
Navigation de l’article
Soutenance HDR – Subshifts: aperiodicity, complexity and groups
Fast and Reliable DWARF-based Stack Unwinding
