Term Rewriting Systems

Term Rewriting Systems

Course with SWS 4/2/0 (lecture/exercise/practical) in SS 2016

Lecturer

• Franz Baader

Tutor

• Marcel Lippmann

SWS

• 4/2/0

Modules

• INF-B-510
• INF-B-520
• INF-BAS6
• INF-VERT6
• MCL-TCSL
• MCL-PI
• Theorie der Programmierung Fachgebiet Theorie der Programmierung
• Intelligente Systeme Fachgebiet Intelligente Systeme
• EMCL-A-PI
• EMCL-A-TCSL

Examination method

• Oral exam

• Information

https://lat.inf.tu-dresden.de/teaching/ss2016/TRS/