From Linear Temporal Logic to Unambiguous Büchi Automata
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
20 Sept 2019
Description
Speaker: Simon JantschEvent: Highlights of Logic, Games and Automata 2019
Location: Warschau
Country: Polen
Duration of event: 20.09.2019-20.09.2019
Conference
| Title | Highlights of Logic, Games and Automata 2019 |
|---|---|
| Abbreviated title | Highlights 2019 |
| Duration | 17 - 20 September 2019 |
| Website | |
| Degree of recognition | International event |
| Location | Warsaw University |
| City | Warschau |
| Country | Poland |