Claude Kirchner
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Réécriture
Théorie de la démonstration
Lambda-calcul
Langages de programmation
Théorèmes -- Démonstration automatique
Filtres (informatique)
Unification
Compilation
Théorie des types
Parallélisme (informatique)
Typage
Théorie équationnelle
Déduction (logique)
Analyse diophantienne
Réécriture conditionnelle
Confluence
Types union
Normalisation forte
Candidats de réductibilité