Sidebar
cours:c-1-33
Table of Contents
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
cours/c-1-33.txt · Last modified: 2014/09/16 09:38 by hubertcomon