703777 Ausgewählte Kapitel der Termersetzung

Wintersemester 2013/2014 | Stand: 21.10.2013 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
703777
Ausgewählte Kapitel der Termersetzung
PS 2
4
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:

  • advanced confluence techniques
  • advanced termination techniques
  • complexity results
  • conditional rewriting
  • Gröbner bases
  • infinitary rewriting
  • modern completion techniques
  • modularity

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 basic of term rewriting.

http://cl-informatik.uibk.ac.at/teaching/ws13/sttr/
21.10.2013
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 14.10.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 21.10.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 28.10.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 04.11.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 11.11.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 18.11.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 25.11.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 02.12.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 09.12.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 16.12.2013
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 13.01.2014
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 20.01.2014
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 27.01.2014
 12.45 - 14.30 3W04 3W04 Barrierefrei
Mo 03.02.2014
 12.45 - 14.30 3W04 3W04 Barrierefrei