Master and PHD theses

Um Exemplare der Arbeiten zu bekommen, die nicht elektronisch verfügbar sind, wenden Sie sich bitte an Herrn Professor Keimel.

In order to get copies of those theses which cannot be accessed electronically, please contact Klaus Keimel.


Stefan Broetz

Diplomarbeit (Oktober 1999): Modellierung von Banachräumen in der Scottschen Domaintheorie (Modelling Banach spaces in the world of Scott domains).


Thomas Erker

Diplomarbeit (Oktober 1997): Stetigkeit und Ordnung in Funktionenräumen (Continuity and order in function spaces).


Martina Fischer

Diplomarbeit (Januar 1998): Eine Kategorie von Reduktionsmodellen für den ungetypten Lambda-Kalkül. (A category of reduction models for the untyped lambda-calculus).


Christian Haack

Diplomarbeit (August 1993): Die Hyperlimeskonstruktion (The hyperlimit construction).


Barbara Henhapl

Diplomarbeit (May 1995): Ein vollabstraktes extensionales Modell für endliches PCF. (A fully abstract extensional modell for finitary PCF).


Mathias Kegelmann

Diplomarbeit (September 1995): Faktorisierungssysteme auf Bereichen (Factorization Systems on Domains).


Olaf Kirch

Diplomarbeit (June 1993): Bereiche und Bewertungen (Domains and valuations).


Michael Marz

Diplomarbeit (June 1995): Monomorphe Typsysteme des Lambda Kalküls (Monomorphic Type Systems for the Lambda Calculus).


Klaus Meyer

Diplomarbeit (September 1990): Lokale Bereiche (Local domains).


Florence Micol

Diplomarbeit (October 1997): Zur Struktur freier regulärer unärer Halbgruppen (On the structure of free regular unary semigroups).


Jon Nedelmann

Diplomarbeit (April 1996): Über die Entscheidbarkeit der Theorie der Quadrupels (On the decidebility of the theory of quadrupels).


Hermann Puhlmann

Diplomarbeit (August 1990): Verallgemeinerung relationaler Schemata in Datenbanken mit Informationsordnung (Generalizing relational schemes in databases with information order).

Dissertation (July 1995): Die Snack-Potenzkonstruktion: Grundlage einer Semantik genesteter Datenbanken (The Snack-Powerdomain: Basis for a Semantics of Nested Databases).


Magnus Rothe

Diplomarbeit (April 1991): Retraktionen auf stetigen Bereichen (Retractions on continuous domains).


Andrea Schalk

Diplomarbeit (October 1990): Bereiche und topologischer Zusammenhang (Domains and topological connectedness).

Dissertation (July 1993): Algebras for generalized power constructions.


Dirk Scheuermann

Diplomarbeit: Parallelisierung von Faktorisierungsalgorithmen (Parallelising factorisation algorithms).


Philipp Sünderhauf

Diplomarbeit (June 1991): Vervollständigung quasi-uniformer Räume (Completion of quasi-uniform spaces).

Dissertation (July 1994): Discrete Approximation of Spaces


Christine Strüder

Diplomarbeit (April 1995): Stetige Operationen auf kontinuierlichen Bereichen (Continuous operations on continuous domains).


Dirk Thierbach

Diplomarbeit (July 1997): Ein Kalkül für polymorphe Objekte mit Untertypen (A calculus for polymorphic objects with subtyping).


Regina Tix

Diplomarbeit (June 1995): Stetige Bewertungen auf topologischen Räumen (Continuous Valuations on Topological Spaces).


Gerd Weidner

Diplomarbeit (October 1995): Bewertungen auf stetigen Verbänden (Valuations on Continuous Lattices).


Christoph Wolf

Preprint (1994): Many-sorted algebras in congruence modular varieties.
(Algebra Universalis 36 (1996), 66-80)
Abstract & Introduction