| 1997 | Topological Semantics for Hybrid Systems. | Sergei N. Artmov, Jennifer M. Davoren, Anil Nerode |
| 1994 | Representing Null Values in Logic Programming. | Bonnie Traylor, Michael Gelfond |
| 1994 | Craig Interpolation Property in Modal Logics with Provability Interpretation. | Tatiana Sidon |
| 1994 | Pure Type Systems with Definitions. | Paula Severi, Erik Poll |
| 1994 | Preserving of Admissible Inference Rules in Modal Logics. | Vladimir V. Rybakov |
| 1994 | On Specialization of Derivations in Axiomatic Equality Theories. | Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal |
| 1994 | An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus. | Ramn Pino Prez, Christian Even |
| 1994 | Weak Orthogonality Implies Confluence: The Higher Order Case. | Vincent van Oostrom, Femke van Raamsdonk |
| 1994 | Propositional Linear Temporal Logic and Language Homomorphisms. | Ulrich Nitsche |
| 1994 | Hereditarily Sequential Functionals. | Hanno Nickau |
| 1994 | Arity vs. Alternation in Second Order Logic. | Johann A. Makowsky, Y. B. Pnueli |
| 1994 | Predicative Recurrence in Finite Types. | Daniel Leivant |
| 1994 | A Predicate Logic of Well-Founded Actions. | Mikle Kuchuganov |
| 1994 | The Notion of Rank and Games. | Bakhadyr Khoussainov, Anil Nerode |
| 1994 | The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems. | Zurab Khasidashvili |
| 1994 | Computational and Concurrency Models of Linear Logic. | Max I. Kanovich |
| 1994 | Coalgebras and Approximation. | Bart Jacobs |
| 1994 | Comparing Models of the Non-Extensional Typed Lambda-Calculus. | Raymond Hoofman |
| 1994 | A Logic of Capabilities. | Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer |
| 1994 | On Expressive Completeness of Modal Logic. | Bernhard Heinemann |
| 1994 | The Parameterized Complexity of Some Problems in Logic and Linguistics. | Bruce M. Kapron, Michael R. Fellows, Rodney G. Downey, Michael T. Hallett, Harold T. Wareham |
| 1994 | Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. | Philippe de Groote |
| 1994 | Classes with Pairwise Equivalent Enumerations. | Sergei S. Goncharov, Serikzhan A. Badaev |
| 1994 | Application of Typed Lambda Calculi in the Untyped Lambda Calculus. | Silvia Ghilezan |
| 1994 | On Extreme Points of Convex Compact Turing Located Set. | Xiaolin Ge, Anil Nerode |