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
Modular coinduction up-to for higher-order languages via first-order transition systems
9 mars 2020
Jean Marie Madiot
(INRIA Paris)
TBA
Navigation de l’article
Décider (ℝ,+,<,1) dans (ℝ,+,<,ℤ)
Controlling a random population
