Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme. - Gunter Bär; Hans Rohleder (J. Inf. Process. Cybern., 1967)

Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks. - Hans Rohleder (J. Inf. Process. Cybern., 1967)

Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache. - Hans Rohleder (J. Inf. Process. Cybern., 1975)

Verallgemeinerungen im Zusammenhang mit dem Stufenbegriff und ihre Bedeutung für die Theorie der Compiler. - Hans Rohleder (J. Inf. Process. Cybern., 1975)

Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigem dreiwertigen Aussagenkalkül. - Hans Rohleder (J. Inf. Process. Cybern., 1975)

Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigen dreiwertigen Aussagenkalkül. - Hans Rohleder (Math. Log. Q., 1977)

Zur Umformung von Anweisungsfolgen. - Hans Rohleder (J. Inf. Process. Cybern., 1979)

Zwischen Konrad Zuse und dem VEB Elrema. - Hans Rohleder (Informatik in der DDR, 2004)