Introduction to Term Rewriting  –  Schedule

Day 1

• slides lecture 1
     1-up    2-up    4-up    beamer
• slides lecture 2
     1-up    2-up    4-up    beamer
• slides lecture 3
     1-up    2-up    4-up    beamer
• exercises
     1-up
• solutions
     1-up

Day 2

• slides lecture 4
     1-up    2-up    4-up    beamer
• slides lecture 5
     1-up    2-up    4-up    beamer
• exercises
     1-up
• solutions
     1-up

Day 3

• slides lecture 6
     1-up    2-up    4-up    beamer
• slides lecture 7
     1-up    2-up    4-up    beamer
• exercises
     1-up
• some solutions
     1-up

Day 4

• slides lecture 8
     1-up    2-up    4-up    beamer
• slides lecture 9
     1-up    2-up    4-up    beamer
• exercises
     1-up

Day 5

• exam
     1-up
• solutions
     1-up
• slides lecture 10
     1-up    2-up    4-up    beamer