Amina Doumane
IdRefMots clés
FR |
EN
Élimination des coupures
Théorie de la démonstration
Informatique -- Mathématiques
Logique mathématique
Preuves circulaire et infinitaires
Omega-automates
Axiomatisation de Kozen
Mu-calcul
Logique linéaire
Réseaux de preuves
Sémantique des phases
Preuves circulaires
Logique à points fixes
Induction (mathématiques)