Exercises for Rewriting in Computer Science and Logic

This course aims to build a greater knowledge in several aspects of rewriting by practicing the theoretical content of the main lecture in many exercises.