Mathématiques
et Interactions
-
Les vidéos associées à Guillaume HennenfentVoir +
![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
![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
![Quantum algorithms for factorization and other problems in cryptanalysis - lecture 2]()
02:03:39publiée le 7 août 2025Quantum algorithms for factorization and other problems in cryptanalysis - lecture 2
De Pierre-Alain Fouque
![Paradigms for the algorithms on different technologies - lecture 1]()
01:32:52publiée le 7 août 2025Paradigms for the algorithms on different technologies - lecture 1
De Thomas Ayral
