Collection Linear Logic Winter School / École d'hiver de logique linéaire
Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html
Mathématiques
et Interactions
Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html
-
Suggestions
![On expansions of monadic second-order logic with power predicates - Lecture 1]()
53:11publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 1
De Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 2]()
59:18publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 2
De Joël Ouaknine
![On expansions of monadic second-order logic with power predicates - Lecture 3]()
01:04:54publiée le 13 octobre 2025On expansions of monadic second-order logic with power predicates - Lecture 3
De Joël Ouaknine
