van Benthem, J. F. A. K. (1994). Logica in Veelvoud. RADAR, 364-373.
van Benthem, J. F. A. K., van Eyck, J., & Stebletsova, V. (1994). Modal Logic, Transition Systems and Processes. Journal of Logic and Computation, 4(5), 811-855.
van Benthem, J. F. A. K. (1994). General Dynamic Logic. In D. Gabbay (Ed.), What is a Logical System? (pp. 107-139). Oxford University Press.
van Benthem, J. F. A. K. (1994). A New World Underneath Standard Logic. In L. Schrijvers, K. Apt, & N. Temme (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp. 179-186). CWI.
Alstein, D., Hoepman, J. H., Olivier, B. E., & van der Put, P. I. A. (1994). Self-Stabilizing Mutual Exclusion on Directed Graphs (extended abstract). In E. Backer (Ed.), Computing science in the Netherlands: proceedings: CSN 94 (pp. 42-53). Stichting Mathematisch Centrum.
Ambos-Spies, K., Terwijn, S. A., & Zheng, X. (1994). Resource bounded randomness and weakly complete problems. In X. S. Zhang, & D. Z. Du (Eds.), Algorithms and Computation (pp. 369-377). (Lecture Notes in Computer Science; No. 834). Springer Verlag.
Ambos-Spies, K., Neis, H. C., & Terwijn, S. A. (1994). Genericity and measure for exponential time. In B. Rovan, I. Privara, & P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1994 (pp. 221-232). (Lecture Notes in Computer Science; No. 841). Springer Verlag.
Paul, J. A. U. (1994). The Poet Laureate's National Poet. In A. J. Hoenselaars (Ed.), Reclamations of Shakespeare (pp. 159-172). Rodopi.
Koster, C. (1994). The Concept of Interpretation in Descriptive Translation Studies: First Explorations. In C. Robyns (Ed.), Translation and the (Re)production of Culture (pp. 151-165). CERA Preprint Services.
Wittich, P. E., & Graven, P. (1994). The origin of the exotestal phytomelan layer in the seed coat of Gasteria verrucosa mill. H. Duval. In Book of Abstracts 13th Int. Congress Sex Plant Reproduction