Terese: solutions to selected exercises
Here are some solutions.
For each chapter a pdf-file is provided.
More to be added.
- Chapter 1: ARS
- Chapter 10: Lambda Calculus
- Chapter 12: Infinitary Rewriting
- Chapter 14: Advanced ARS
- Appendix: Mathematical Background
- Some solutions by
Bas Luttik :
- from Chaper 1: 1.3.1
- from Chaper 2: 2.3.9, 2.3.11, 2.7.11, 2.7.13, 2.7.17, 2.7.18, 2.7.19, 2.7.20
- from Chaper 3: 3.3.18, 3.3.21
- from Chaper 4: 4.2.9
- from Chaper 6: 6.2.7, 6.2.15, 6.2.25
Last modified: Fri Nov 5 15:12:36 CET 2004