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