Person

Leon Bohn

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4117b

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21708

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