703608 VU Term Rewriting

summer semester 2024 | Last update: 23.01.2024 Place course on memo list
VU Term Rewriting
VU 2
not applicable

Students who completed this course understand the concept of term rewrite systems as formal computation model, which forms the basis of functional programming. They know important properties of term rewrite systems as well as methods to establish these properties.

Relation to Aurora pilot domains/hubs and multidisciplinarity. Functional programming is used in programming languages such as JavaScript and F#. Since these languages are used to run webbrowsers (cf. WebAssembly), they are highly relevant for a digital society. This course has strong relationships to mathematics, e.g., certain aspects of term rewriting can be understood as a generalized form of equations solving. Moreover, Buchberger's algorithm from modern computer algebra is related to the completion algorithm in term rewriting.

Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies.

combination of lectures and exercise sessions

Continuous assessment based on exercise sessions. A written test is offered at the end of the course.

Course notes will be made available to registered students.


The course is part of ISR 2024, the 14th International School on Rewriting, which is held from August 25 until September 1 at the Obergurgl University Center.

The course is also an Aurora Alliance (https://www.uibk.ac.at/en//international/aurora/) event.

Students of all Aurora universities (incl. Master students of the University of Innsbruck) are invited to apply for participation in this course from January 08 till January 21 at the following link (after this date, registration via the online course catalogue is possible for Innsbruck students): https://www.uibk.ac.at/en/international/aurora/aurora-course-offerings/universitat-innsbruck/

see dates
August 26 -- 31, Obergurgl http://cl-informatik.uibk.ac.at/isr24/