Hans Rohleder

Publication Activity (10 Years)

Years Active: 1967-2004
Publications (10 Years): 0

Publications

Hans Rohleder
Zwischen Konrad Zuse und dem VEB Elrema. Informatik in der DDR (2004)
Hans Rohleder
Zur Umformung von Anweisungsfolgen. J. Inf. Process. Cybern. 15 (7) (1979)
Hans Rohleder
Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigen dreiwertigen Aussagenkalkül. Math. Log. Q. 23 (25-26) (1977)
Hans Rohleder
Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache. J. Inf. Process. Cybern. 11 (4-6) (1975)
Hans Rohleder
Verallgemeinerungen im Zusammenhang mit dem Stufenbegriff und ihre Bedeutung für die Theorie der Compiler. J. Inf. Process. Cybern. 11 (10-12) (1975)
Hans Rohleder
Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigem dreiwertigen Aussagenkalkül. J. Inf. Process. Cybern. 11 (10-12) (1975)
Gunter Bär, Hans Rohleder
Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme. J. Inf. Process. Cybern. 3 (3) (1967)
Hans Rohleder
Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks. J. Inf. Process. Cybern. 3 (5) (1967)