Media type: E-Book; Thesis Title: The Infimum Problem as a Generalization of the Inclusion Problem for Automata Contributor: Borgwardt, Stefan [Author]; Peñaloza Nyssen, Rafael [Degree supervisor]; Peñaloza Nyssen, Rafael [Other]; Baader, Franz [Other]; Baader, Franz [Degree supervisor] Published: Dresden: Technische Universität Dresden, 2024 Extent: 1 Online-Ressource Language: English Identifier: RVK notation: ST 136 : Automatentheorie, Formale Sprache Keywords: Hochschulschrift Origination: University thesis: Diplomarbeit, Dresden, Technische Universität Dresden, 2010 Footnote: Access State: Open Access