Section : Term Rewriting Systems | Réécriture pour la programmation et la preuve | ARCHE

Accueil Calendrier Outils enseignant Besoin d'aide ?

Dernières annonces

7 janvier 2021, 16:26:01
Horatiu Cirstea
GLA
4 janvier 2021, 12:07:29
Horatiu Cirstea
First course
24 février 2020, 09:44:47
Horatiu Cirstea
Exam
4 février 2019, 20:06:42
Horatiu Cirstea
exam

Événements à venir

Aucun événement à venir

Plan de cours

- Sélectionner l’activité Introduction
  
  Introduction Fichier
- Sélectionner l’activité Definitions
  
  Definitions Fichier
- Sélectionner l’activité Termination
  
  Termination Fichier
- Sélectionner l’activité Confluence
  
  Confluence Fichier
- Sélectionner l’activité Lambda calculus (Serguei Lenglet)
  
  Lambda calculus (Serguei Lenglet) Fichier
- Sélectionner l’activité Rewriting Solving Proving
  
  Rewriting Solving Proving Fichier