ISR 2010

3rd International School on Rewriting

3 – 8 July 2010, Drift 21, Utrecht, Netherlands

Applications of Rewriting in Design and Analysis of Algorithms


Ashish Tiwari (SRI International, Menlo Park, CA, USA)


(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

In each case, we will describe the algorithm using inference rules and analyze its correctness and complexity.