university search sitemap contact Universität Stuttgart Departments | Computer Science | Faculty Institute of Formal Methods in Computer Science : Publications Dissertations   Hagenah, Christian: Gleichungen mit regulären Randbedingungen über freien Gruppen, Doctoral Thesis, 2000. Ondrusch, Nicole: Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation, Doctoral Thesis, 2006. Wich, Klaus: Ambiguity functions of context-free grammars and languages, Doctoral Thesis, 2005.

Last Modified April 18, 2025( Webmaster )  | © University of Stuttgart |  Legal notice