AG 14 - Diplomarbeiten, Dissertationen und Preprints


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).


Ben S. Cohen

Diplomarbeit (November 2006): Mathematical Foundations for Denotational Semantics for Combining Probability and Nondeterminism over Stably Compact Spaces.


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).


Michael Holderbaum

Dissertation (February 2006): Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren. (Discretization and Approximation of Images and Morphological Image Operators).


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).


Artus Philipp Rosenbusch

Diplomarbeit (February 2007): Eine direkte Definition der predicate transformer-Semantik für nichtdeterministisch-probabilistische Programme
(A direct defintion of the predicate transformer semantics for nondeterministic-probabilistic programs).


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


Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Oktober 2017 »
Mo Di Mi Do Fr Sa So
39 1
40 2 3 4 5 6 7 8
41 9 10 11 12 13 14 15
42 16 17 18 19 20 21 22
43 23 24 25 26 27 28 29
44 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang