Term Rewriting Systems
From International Center for Computational Logic
Term Rewriting Systems
Course with SWS 4/2/0 (lecture/exercise/practical) in SS 2016
Lecturer
Tutor
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