Diplomarbeit DIP-2017-21

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
BetreuerDiekert, Prof. Volker, Wächter, Jan Philipp
Eingabedatum30. April 2020
   Publ. Informatik