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