Person
Leon Bohn
M. Sc. RWTH
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Adresse
Gebäude: Erweiterungsbau 1
Raum: 4117b
Ahornstr. 55
52074 Aachen
Sprechstunde
- nach Vereinbarung
Forschungsinteressen
Publikationen
Quelle | Beteiligte |
---|---|
[Preprint] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm, 2021 [DOI: 10.18154/RWTH-2022-11204] | Bohn, Leon Löding, Christof (Corresponding author) |
[Buchbeitrag, Beitrag zu einem Tagungsband] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) / Herausgeber: Filippo Bonchi, Simon J. Puglisi, 20:1-20:18, 2021 [DOI: 10.4230/LIPIcs.MFCS.2021.20] | Bohn, Leon Löding, Christof (Corresponding author) |