Course Notes

The course notes provided on this site are for exclusive use during ISR 2015, the 8th International School on Rewriting. Do not distribute this material.

• course notes (pdf)