Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Rewriting Techniques

24 hours, 3 credits

Schedule: Monday 14:00-18:15. First lecture on november 17

Location: Cachan C509-511

2014/15 Teaching staff

  • Hubert Comon-Lundh
  • Jeremy Dubut

Contents (preliminary)

  • Kruskal theorem and termination proofs
  • Newmann's lemma, parallel moves lemma, confluence
  • Word problems and Knuth-Bendix completion
  • Unification algorithms
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA