Courses



Elective Module 13: Term Rewriting (5 ECTS-Credits, 3 h)
Prerequisites for registration: none
Learning Outcome: Students understand the concepts of Term Rewriting as a formal calculation model which provides the basis for functional programming. Moreover, they also learned the main qualities of Term Rewriting systems together with methods to prove their qualities.
Go to the superordinate section
ML
703125
Term Rewriting (VO / 2h / 3 ECTS-AP)
Aart Middeldorp
Details of this course
ML
703126
Term Rewriting (PS / 1h / 2 ECTS-AP)
Christian Sternagel
Details of this course

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).