Bibliograph. Daten | Boffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 21 (2017). 29 Seiten, deutsch.
|
Kurzfassung | kein Abstract.
|
Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
|
Betreuer | Diekert, Prof. Volker, Wächter, Jan Philipp |
Eingabedatum | 30. April 2020 |
---|