Luigi Santocanale
IdRefMots clés
FR |
EN
Preuves cycliques
Automates de Büchi
Equivalence de langages
Coinduction / Techniques up-to
Automates à plusieurs têtes
Système T
Récursion primitive
Mathématiques à rebours
Théorie des jeux
Théorie de la démonstration
Modalité (logique)
.
Non-déterminisme
Automates
Mots transfinis
Complexité
Complexité de calcul (informatique)
Synthèse de contrôleur
Théorie des automates
Vérification quantitative