703811 Ausgewählte Kapitel der Termersetzung

Wintersemester 2015/2016 | Stand: 26.01.2016 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703811
Ausgewählte Kapitel der Termersetzung
VO 3
6
wöch.
2-Jahresrhythmus
Englisch

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:

  • complexity results
  • conditional rewriting
  • confluence techniques
  • context-sensitive rewriting
  • rewriting modulo AC
  • strategies
  • unification theory

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.

http://cl-informatik.uibk.ac.at/teaching/ws15/sttr/
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 05.10.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 12.10.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 19.10.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 09.11.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 16.11.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 23.11.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 30.11.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 07.12.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 14.12.2015
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 11.01.2016
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 18.01.2016
 14.15 - 17.00 3W04 3W04 Barrierefrei
Mo 25.01.2016
 14.15 - 17.00 3W04 3W04 Barrierefrei
Fr 04.03.2016
 13.00 - 16.00 HS 10 HS 10 Barrierefrei