Hans Rohleder

According to our database, Hans Rohleder authored at least 8 papers between 1967 and 2004.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of five.

2004

Zwischen Konrad Zuse und dem VEB Elrema.

Hans Rohleder

Proceedings of the Informatik in der DDR, 2004

1979

Zur Umformung von Anweisungsfolgen.

Hans Rohleder

J. Inf. Process. Cybern., 1979

1977

Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigen dreiwertigen Aussagenkalkül.

Hans Rohleder

Math. Log. Q., 1977

1975

Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigem dreiwertigen Aussagenkalkül.

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

Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache.

Hans Rohleder

J. Inf. Process. Cybern., 1975

1967

Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks.

Hans Rohleder

J. Inf. Process. Cybern., 1967

Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme.

Gunter Bär, Hans Rohleder

J. Inf. Process. Cybern., 1967