From Linear Temporal Logic to Unambiguous Büchi Automata

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

20 Sept. 2019

Speaker: Simon Jantsch
Event: Highlights of Logic, Games and Automata 2019
Location: Warschau
Country: Polen
Duration of event: 20.09.2019-20.09.2019

Titel	Highlights of Logic, Games and Automata 2019
Kurztitel	Highlights 2019
Dauer	17 - 20 September 2019
Webseite	https://web.archive.org/web/20210818044742/http://highlights-conference.org/warsaw/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Warsaw University
Stadt	Warschau
Land	Polen