Le moteur de recherche
des thèses françaises
David Baelde
IdRefMots clés
FR |
EN
Théorie de la démonstration
Élimination des coupures
Informatique -- Mathématiques
Logique mathématique
Cryptographie
Méthodes formelles
Preuves circulaire et infinitaires
Omega-automates
Axiomatisation de Kozen
Mu-calcul
Automates de Büchi
Equivalence de langages
Coinduction / Techniques up-to
Preuves cycliques
Automates à plusieurs têtes
Système T
Récursion primitive
Mathématiques à rebours
Vérification
Protocoles de sécurité