Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting"
From International Center for Computational Logic
Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting"
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2022
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation
