Some written exams of the past yearsText of the second partial
written exam of June 20th.
To get the total written exam, just add in the rewriting part:
- in Ex.1 it is also required to give a reduction ordering so that
the trs R is terminating;
- in Ex.2 it is also required to i) give a reduction ordering so that the
trs R is terminating and ii) check that R is confluent.
All answers must be formally justified.