Olivier Serre
Mots clés
FR |
EN
Logiciels -- Vérification
Automates
Théorie des jeux
Vérification formelle
Langages formels
Langages de tuiles (mathématiques)
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