ISR 2024 – 14th International School on Rewriting

ISR 2024 – Track A

Course Notes