Masterverteidigung Mario Wenzel
Was | Masterverteidigung |
---|---|
Wer |
Mario Wenzel
13IN-M |
Wann |
26.10.2016 von 13:00 bis 14:10 |
Wo | Z417 |
Termin übernehmen |
![]() ![]() |
Thema:
Propositional Sieving of Single-Rule String Rewriting Systems Using Binary Decision Diagrams
Gutachter & Betreuer:
Johannes Waldmann,
HTWK, IMN
Alfons Geser,
HTWK, EIT
(Vortrag und Diskussion in deutscher Sprache)