Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:vortraege [2019/05/10 12:30] foerster [Juni] |
lehre:vortraege [2019/05/10 12:31] foerster [Juni] |
||
|---|---|---|---|
| Zeile 138: | Zeile 138: | ||
| \\ | \\ | ||
| **16:45-17:00**\\ | **16:45-17:00**\\ | ||
| - | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ | + | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF"\\(BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| **17:00-17:15**\\ | **17:00-17:15**\\ | ||
| - | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten" (BA-Antrittsvortrag)\\ | + | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten"\\(BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| **17:15-17:30**\\ | **17:15-17:30**\\ | ||
| - | Wortmann, Jannik, "Minimierung von Produkten deterministischer endlicher Transduktoren" (BA-Antrittsvortrag)\\ | + | Wortmann, Jannik, "Minimierung von Produkten deterministischer endlicher Transduktoren"\\(BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||