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
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) |