Stéphane Lengrand
IdRefMots clés
FR |
EN
Lambda-calcul
Théorie des types
Théorèmes -- Démonstration automatique
Démonstration automatique
Assistants à la preuve
Reconstruction de preuves
Skolemization
Théorie de la démonstration
Calcul des séquents
Systèmes de types purs
Recherche de preuve
Proof-search
Focusing
Classical logic
Polarisation
Connection tableaux
Clause tableaux
Dpll(t)
Logique de seuil
Systèmes informatiques