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 de la démonstration
.
Modalité (logique)
Non-déterminisme
Automates
Mots transfinis
Complexité
Complexité de calcul (informatique)
Théorie des jeux
Preuves circulaires
Logique catégorique
Catégories µ-Bicomplètes