LFU:online

Students who have completed this course will have a thorough understanding of term rewriting. They are prepared to further develop term rewriting with independent research contributions.

The course will cover advanced and current developments in term rewriting:

• advanced termination techniques
• context-sensitive rewriting
• Gröbner bases
• ...

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Familiarity with the basics of term rewriting.

Hinweis für Studierende nach dem Bachelorstudium Informatik 2007W: Die Lehrveranstaltung Ausgewählte Kapitel der Termersetzung VU 3 kann als Wahlmodul verwendet werden. Eine Zuordnungsbestätigung ist notwendig.