-
Computer Science
-
Research
Kolloquium und weitere Vorträge
Betreuer: Prof. Dr. Falk Hower Master-Abschlussvortrag Montag, 08.12.2025, 17:15-17:45 Uhr, Raum OH12/3.031 Lisa Henneberg Lösen von Allgemeinen Annahmen-basierten Argumentationsformalismen via QBF Betreuer: [...] Betreuer: Prof. Dr. Jung Master-Einführungsvortrag Montag, 08.12.2025, 16:15-16:45 Uhr, Raum OH12/3.031 Kevin Kliche Minimierung von deterministischen und good-for-games Omega-Automaten Betreuer: Prof. Dr. [...] Schwentick Bachelor-Einführungsvortrag Montag, 08.12.2025, 16:45-17:15 Uhr, Raum OH12/3.031 Hendrik Ahrens Edit-Distanz von regulären und kontextfreien Sprachen Betreuer: Prof. Dr. Schwentick Bachelo …