Leon Bohn

Person

Leon Bohn

M.Sc.
Chair of Computer Science 7 (Logic and Theory of Discrete Systems)

Address

Building: Erweiterungsbau 1

Room: 4117b

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21708

Office Hours

by appointment
 

Publications

Source Authors and Contributors
[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)
[Contribution to a book, Contribution to a conference proceedings]
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)