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
| Titel | Autor*innen | Erschienen in |
|---|---|---|
|
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm |
León Bohn, Christof Löding |
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) DOI: doi.org/10.4230/LIPIcs.MFCS.2021.20 |