Claude Kirchner
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Réécriture
Théorie de la démonstration
Théorèmes -- Démonstration automatique
Langages de programmation
Lambda-calcul
Filtres (informatique)
Unification
Théorie des types
Compilation
Parallélisme (informatique)
Théorie équationnelle
Déduction (logique)
Typage
Analyse diophantienne
Théorie de la preuve
Raisonnement automatique
Calcul des séquents
Déduction naturelle
Negation