Gisbert Hasenjaeger

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Coauthor Index

1 Egon Börger [3]

2 Dieter Rödding [3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page