en | de

Selected Topics in Term Rewriting

master program

VU3  WS 2019/2020  703822

Lecturer

room consultation hours
Aart Middeldorp 3M07 Wednesday11:30 – 13:00

Time & Place

Monday13:15 – 16:00 3W03

The course starts on October 7.

Language

The course is taught in English.

Registration

Online registration is required until September 21.

Grading

The grade for the course is determined by (a) the solutions submitted in OLAT to exercises assigned in the lecture the exercise sessions and (b) a written test on January 27.