| |
| 1987 | ||
|---|---|---|
| 4 | Gisbert Hasenjaeger: On the Early History of Register Machines. Computation Theory and Logic 1987: 181-188 | |
| 1984 | ||
| 3 | Egon Börger, Gisbert Hasenjaeger, Dieter Rödding: Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfahlen Springer 1984 | |
| 1983 | ||
| 2 | Gisbert Hasenjaeger: Universal Turing machines (UTM) and Jones-Matijasevich-masking. Logic and Machines 1983: 248-253 | |
| 1950 | ||
| 1 | Gisbert Hasenjaeger: Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe. J. Symb. Log. 15(4): 273-276 (1950) | |
| 1 | Egon Börger | [3] |
| 2 | Dieter Rödding | [3] |