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
Treillis
Modalité (logique)
Logique linéaire
.
Non-déterminisme
Automates
Mots transfinis
Complexité
Complexité de calcul (informatique)
Synthèse de contrôleur