- Alle Titel
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Universitätsleitung/-verwaltung
- Fakultät für Kulturwissenschaften
- Fakultät für Wirtschaftswissenschaften
- Fakultät für Naturwissenschaften
- Fakultät für Maschinenbau
- Fakultät für Elektrotechnik, Informatik und Mathematik
- Universitätsbibliothek
- Heinz Nixdorf Institut (HNI)
- Zentrum für Bildungsforschung und Lehrerbildung
- Zentrum für Informations- und Medientechnologien
- Sonstige Einrichtungen / Externe
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Generalized Hewitt-Nachbin spaces arising in state space completions
In: Functional analysis, holomorphy and approximation theory (Lecture notes in mathematics : 843), Jg. 1981, S. 296-318Group theoretical aspects of Gödel's cosmological model
In: Jahrbuch der Gödel Gesellschaft, Jg. 1991, S. 3-11