Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2504
| Autor(en): | Petersen, Holger |
| Titel: | Gegenseitige Simulation von Datenstrukturen |
| Erscheinungsdatum: | 2002 |
| Dokumentart: | Habilitation |
| URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-12794 http://elib.uni-stuttgart.de/handle/11682/2521 http://dx.doi.org/10.18419/opus-2504 |
| Zusammenfassung: | Die vorliegende Arbeit stellt einige Ergebnisse zusammen, welche das Verhältnis verschiedener Berechenbarkeitsmodelle zueinander betreffen. Hierbei wird einerseits der Zusatzaufwand (im Bezug auf die Zeitkomplexität) bei der gegenseitigen Simulation solcher Modelle untersucht. Andererseits werden untere Schranken bewiesen oder auch die Unmöglichkeit einer Simulation. Diese Untersuchungen lassen sich einem Bereich zuordnen, der als konkrete Komplexitätstheorie bezeichnet wird. |
| Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| habil.pdf | 711,46 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.