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
A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching
11 janvier 2021
Yoann Marquer
(INRIA Rennes)
TBA
Navigation de l’article
Successor-Invariant First-Order Logic on Classes of Bounded Degree
The Bicategory of “Open Functors” and its Friends
