Alexis Saurin
Mots clés
FR |
EN
Logique linéaire
Élimination des coupures
Théorie de la démonstration
Informatique -- Mathématiques
Logique mathématique
Preuves circulaires
Induction (mathématiques)
Logique de seuil
Preuves circulaire et infinitaires
Omega-automates
Axiomatisation de Kozen
Mu-calcul
Réseaux de preuves
Sémantique des phases
Logique à points fixes
PSPACE-Complet
Calcul des séquents
Preuves non bien-Fondées
Coinduction
Recherche de preuves