Prof. Dr. Horst Müller

Professor of Theoretical Computer Science
since July, 15th, 2004 in retirement
Room: ---
Consultation hour
(Mentorenstunde): ---

Research interests:
Specification and Verification, Petri nets,
Automata in labyrinths, Domino-Problems
(in german)

recommeded Links*
prevent krypto law (in german)
Zeit zu
leben(in german)
Lebenswert - ein Leben voller
Überraschungen
(in
german)
Der Gedankenspaziergang
(in german)
Sinnsprüche (in german)
* Anmerkung:
Das Landgericht
Hamburg hat mit Urteil vom 12.05.1998 entschieden,
daß man durch die Ausbringung eines Links die Inhalte der
gelinkten
Seite ggf. mit zu verantworten hat. Dies kann - so das LG - nur dadurch
verhindert werden, daß man sich ausdrücklich von diesen
Inhaltendistanziert.
Ich habe auf meinen Seiten Links zu anderen Seiten im Internet gelegt.
Für all diese Links gilt:
"Ich
möchte ausdrücklich betonen, daß
ich keinerlei Einfluß auf die Gestaltung und die Inhalte der
gelinkten
Seiten habe. Deshalb distanziere ich mich hiermit ausdrücklich von
allen Inhalten aller gelinkten Seiten auf meiner dieser gesamten
Website
inkl. aller Unterseiten. Diese Erklärung gilt für alle auf
meiner
Homepage ausgebrachten Links und für alle Inhalte der Seiten, zu
denen
Links oder Banner führen."
All names
& trademarks are the property of their respective
owners!
|