Course Notes

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

• course notes (pdf)