@phdthesis{https://doi.org/10.22029/jlupub-9554, doi = {10.22029/JLUPUB-9554}, url = {https://jlupub.ub.uni-giessen.de//handle/jlupub/10170}, author = {Reimann, Jens and {Justus Liebig University Giessen}}, keywords = {Beschreibungskomplexität, Restart-Automaten, Zustandskomplexität, Semientscheidbarkeit, descriptional complexity, restarting automata, state complexity, semi-decidability, ddc:004}, language = {de}, title = {Beschreibungskomplexität von Restart-Automaten}, publisher = {Universitätsbibliothek Gießen}, year = {2007}, copyright = {In Copyright} }