uni
suche
sitemap
kontakt
Universität Stuttgart
Abteilungen
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
: Veröffentlichungen
Jahrgang 2003
Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts
Habilitationen
Studienarbeiten (Archiv)
Habilitationen
Lohrey, Markus:
Computational and logical aspects of infinite monoids
, Habilitation, 2003.
Petersen, Holger:
Gegenseitige Simulation von Datenstrukturen
, Habilitation, 2003.
Studienarbeiten (Archiv)
Kiefer, Stefan:
Die Menge der Virtuellen Verbindungen im Spiel Hex ist PSPACE-vollständig
, Studienarbeit Nr. 1887, 2003.
Letzte Änderung 28. März 2024(
Webmaster
) | © Universität Stuttgart |
Impressum