Natarajan Shankar
IdRefMots clés
FR |
EN
Théorie de la démonstration
Coq
Automatisation
SMT
Réflexion
Congruence
Conteneurs
Prototype verification system (PVS)
Logique d'ordre supérieur
Sous-typage par prédicats
Théorie des types
Prédicat (logique)
Réécriture
Interopérabilité
Pvs
Preuve formelle
Dedukti
Cadre logique
Assistants de preuve
Logique informatique