Proof Theory and Sequent Systems
- Alias
- INF-25-Ma-FTK-PT
- Leistungspunkte
- 3
- Anfangssemester
- Wintersemester
- Verantwortlich
- Lyon, Timothy S. Dr. <timothy_stephen.lyon@tu-dresden.de>
- Organisation
- Professur für Computational Logic
- Sprachen
- Deutsch oder English
- Erasmus
- Master-Abschluss
- Status
- Aktiv
- Modulbeschreibung
- Deutsch · English
Studiengänge
- Diplomstudiengang Informatik (2025)
- Masterstudiengang Computer Science (2025)