Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Hendrik Henze
Determinisierung von Büchi-Automaten
Bachelor-Abschlussvortrag – Lehrstuhl Logik in der Informatik – Arbeitsgruppe Logik in der Informatik
Montag,
25.10.2021,
16:15
–
17:45
Uhr
(geplant)
Raum N.N.