L'objectif de ce cours est de présenter les fondements de la réécriture en lien avec le calcul et la logique et d'introduire la réécriture modulo. Ces concepts sont étudiés et développés tant du point de vue des langages (compilation du filtrage et de la réécriture) que du point de vue des preuves (preuves par réécriture et déduction modulo).
- Enseignant: Horatiu Cirstea