Bi-Weekly Talk: Erich Grädel & Richard Wilke
Mittwoch, 21.02.2018, 10.15 Uhr
Vortragende: Erich Grädel und Richard Wilke
Herr Grädel berichtet in seinem Vortrag von logischen Abhängigkeiten und Unabhängigkeiten. In einem zweiten Vortrag bespricht Herr Wilke Logiken mit Multiteam Semantiken.