Joël Ouaknine
Code ISNI : 0000 0004 2549 5169
Code ORCID : 0000-0003-0031-9356
https://people.mpi-sws.org/~joel/
Max Planck Institute for Software Systems
Mathématiques
et Interactions
-
3 vidéos
![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
