A type system for a lambda calculus with assignment Chen, K.; Odersky, M. 1994. In: Theoretical aspects of computer software. TACS ’94. Ed.: M. Hagiya. Berlin 1994. S. 347-364. (Lecture notes in computer science. 789.)
Gravity studies at the South pole Zürn, W.; Rydelek, P.; Knopoff, L.; Smythe, W. D. 1994. In: Proceedings. 12th International Symposium on Earth Tides 1993, Beijing. Ed.: H.T. Hsu. 1994
Industrielle Demontage- und Recyclingkonzepte. PhD dissertation Spengler, T. 1994. Berlin 1994. (Abfallwirtschaft in Forschung und Praxis. 67.) Fak. f. Wirtschaftswissenschaften, Diss. v. 4.2.1994 u.d.T.: Planungsmodelle zur deckungsbeitragsmaximalen Demontage und Verwertung komplexer Verbundprojekte., Universität Karlsruhe (TH)
Teleseismic tomography of continental rift zones Davis, P.; Slack, P.; Dahlheim, H. A.; Green, W. V.; Meyer, R.; Achauer, U.; Glahn, A.; Granet, M. 1994. In: Seismic tomography theory and practice. Ed.: H. Iyer. London 1993. S. 397-439