Habilitations

Habilitations

Michael Winter
Goguen Categories:
An Algebraic Approach to L-Fuzzy Relations
With Applications in Computer Science
Universität der Bundeswehr München
19. Dezember 2002
Wolfram Kahl
A Relation-Algebraic Approach
to Graph Structure Transformation
Universität der Bundeswehr München
27. November 2001
Ulrich Huckenbeck
Extremale Pfade in Graphen
und verwandte Problemstellungen
Universität Würzburg, 379 S.
Dezember 1992; als auswärtiger Gutachter
Rudolf Berghammer
Transformational programming with
non-deterministic and higher-order constructs
Universität der Bundeswehr München
7. November 1990
Bernhard Möller
Higher Order Algebraic
Specifications
Technische Universität München
Juli 1987