Bahareh Afshari
Mots clés
FR |
EN
Logique linéaire
Preuves circulaires
Induction (mathématiques)
Réseaux de preuves
Sémantique des phases
Logique à points fixes
Élimination des coupures
Logique mathématique
Informatique -- Mathématiques
Théorie de la démonstration
PSPACE-Complet
Calcul des séquents
Preuves non bien-Fondées
Coinduction
Recherche de preuves
MuMALL
Finitisation
Complexité de calcul (informatique)
Point fixe, Théorème du
Logique de seuil