Olivier Serre
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Théorie des jeux
Automates
Langages de tuiles (mathématiques)
Langages formels
Vérification formelle
Complexité algébrique
Bornes inférieures
Test d’identité polynomiale
Circuits arithmétiques
Lempel-Ziv
Compression
Complexité de calcul (informatique)
Données -- Compression (informatique)
PI-algèbres
Jeux à durée infinie
Jeux de parité
Jeux à paiement moyen
Positionalité
Algorithmes quasipolynomiaux