703771 Ausgewählte Kapitel der Termersetzung

Wintersemester 2013/2014 | Stand: 11.06.2014 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
703771
Ausgewählte Kapitel der Termersetzung
VO 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

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

schriftliche Prüfung

course notes will be made available from the accompanying web site

Familiarity with the basics of term rewriting.

The course is taught in English.

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