Nicht verfügbar

Person

Leon Bohn

M.Sc.
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

nach Vereinbarung
 

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)