3rd International School on Rewriting
3 – 8 July 2010, Drift 21, Utrecht, Netherlands
Applications of Rewriting in Design and Analysis of Algorithms
Lecturer
Ashish Tiwari (SRI International, Menlo Park, CA, USA)Introduction
(both tracks, 4 lecture sessions)
The theory of term rewriting can be used to design and analyze several important algorithms. This course will apply the principles of rewriting in describing some basic, as well as, some advanced algorithms, such as
- union-find data structure
- congruence closure
- word problem in commutative semigroups
- Gröbner basis
- rewrite closure
- transitive closure of a graph
- ordered resolution