Rewriting Techniques

24 hours, 3 credits

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

Location: Cachan C509-511

• Hubert Comon-Lundh
• Jeremy Dubut

• Kruskal theorem and termination proofs
• Newmann's lemma, parallel moves lemma, confluence
• Word problems and Knuth-Bendix completion
• Unification algorithms