Proof Theory and Sequent Systems
- Alias
- INF-25-Ma-FTK-PT
- Credits
- 3
- Starting semester
- Winter semester
- Responsible
- Lyon, Timothy S. Dr. <timothy_stephen.lyon@tu-dresden.de>
- Organisation
- Chair of Computational Logic
- Languages
- German or English
- Erasmus
- Master's degree
- Status
- Active
- Module description
- Deutsch · English
Degree programs
- Diplom Program in Computer Science (2025)
- Master's Program in Computer Science (2025)