Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Ariane Blank
Bisimulationsäquivalenz von Kellerautomaten
Bachelor-Abschlussvortrag – Lehrstuhl Logik in der Informatik – Arbeitsgruppe Logik in der Informatik
Montag,
22.04.2024,
16:15
–
16:45
Uhr
Raum OH12/3.031