R. Wanka, Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn, 1994.
LibreCat: /record/19624

J. Simon, “Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors,” in Parallele Datenverarbeitung aktuell: TAT ’94, Aachen, 1994, pp. 38–45.
LibreCat: /record/2452

A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

H. Wehrheim, “Parametric Action Refinement,” in Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.
LibreCat: /record/3264

H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3

T. Gries, C. Hentschel, and B. Wigger, “Endogenous Growth and R&;D Models - A Critical Appraisal of Recent Developments,” Jahrbücher für Nationalökonomie und Statistik, vol. 213/1, pp. 64–84, 1994.
LibreCat: /record/3068

B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 1994.
LibreCat: /record/17303

K. Morisse and G. Oevel, “MuPAD - new developments and their applications,” in Computer Algebra in Science and Engineering, World Scientific, 1994.
LibreCat: /record/17305

V. Peckhaus, “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908),” in Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, 1994, vol. 236, pp. 311–323.
LibreCat: /record/17480

V. Peckhaus, “Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin,” in Hans Reichenbach und die Berliner Gruppe, L. Danneberg, A. Kamlah, and L. Schäfer, Eds. Braunschweig/Wiesbaden: Friedr. Vieweg &; Sohn, 1994, pp. 53–73.
LibreCat: /record/17481