- 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
Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Jg. 2.1974, S. 280-293
The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Jg. 5, S. 300-309