Für interessierte UnRAVeL Mitglieder: Research Seminar by RTG QuantLA: An Efficient Normalisation Procedure for Linear Temporal Logic
Dienstag, 01.12.2020, 13.00 Uhr
Ort: Online Session
Vortragender: Salomon Sickert-Zehnter (TU München and Hebrew University, Jerusalem)