Logik Kolloquium - Manfred Droste: Weighted automata and quantitative logics
Time
Monday, 9. December 2019
15:15 - 16:45
Location
Universität Konstanz, F 426
Organizer
Carolin Antos, Salma Kuhlmann
Speaker:
Manfred Droste (Institute of Computer Science, University of Leipzig)
This event is part of an event series „Logik Kolloquium“.
Manfred Droste (Institute of Computer Science, University of Leipzig)
"Weighted automata and quantitative logics"