dblp.uni-trier.dewww.uni-trier.de

Hans Rohleder

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
5 Hans Rohleder: Zwischen Konrad Zuse und dem VEB Elrema. Informatik in der DDR 2004: 87-91
1979
4 Hans Rohleder: Zur Umformung von Anweisungsfolgen. Elektronische Informationsverarbeitung und Kybernetik 15(7): 377-382 (1979)
1975
3 Hans Rohleder: Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 206-213 (1975)
1967
2 Gunter Bär, Hans Rohleder: Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme. Elektronische Informationsverarbeitung und Kybernetik 3(3): 171-195 (1967)
1 Hans Rohleder: Eine Variante des Nelsonschen Verfahrens zum Aufsuchen der Primimplikanten eines Ausdrucks. Elektronische Informationsverarbeitung und Kybernetik 3(5): 303-306 (1967)

Coauthor Index

1Gunter Bär [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)