Diploma Thesis DIP-2017-21

BibliographyBoffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 21 (2017).
29 pages, german.
Abstract

kein Abstract.

Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
Superviser(s)Diekert, Prof. Volker, Wächter, Jan Philipp
Entry dateApril 30, 2020
   Publ. Computer Science