Aktuelles Semester
Sommersemester 2013 (CAMPUS)
Professor Thomas hat im Sommersemester 2013 ein Forschungssemester und bietet deshalb keine Veranstaltungen an.- Vorlesungen
- Formale Systeme, Automaten, Prozesse (Grohe)
- Theory of Constraint Satisfaction Problems (Grohe)
- Applied Automata Theory (Löding)
- Automaten, Sprachen, Komplexität (Löding)
- Logik und Empirie (Oberschelp)
- Proseminare, Seminare, Praktika
- Sonstiges