Exercises for Rewriting in Computer Science and Logic (SS 2023)

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.