| 1994 | Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers Egon Börger, Yuri Gurevich, Karl Meinke |
| 1993 | A Generic Strong Normalization Argument: Application to the Calculus of Constructions. C.-H. Luke Ong, Eike Ritter |
| 1993 | A Horn Clause that Implies and Undecidable Set of Horn Clauses. Jerzy Marcinkowski |
| 1993 | Approximable Minimization Problems and Optimal Solutions on Random Inputs. Erich Grädel, Anders Malmström |
| 1993 | Bounded-Arity Hierarchies in Fixed-Point Logics. Martin Grohe |
| 1993 | Data Types, Infinity and Equality in System AF Christophe Raffalli |
| 1993 | ERRATA to "The Semantics of the C Programming Language". Yuri Gurevich, James K. Huggins |
| 1993 | From Semantics to Rules: A Machine Assisted Analysis. Catarina Coquand |
| 1993 | Higher-Order Action Calculi. Robin Milner |
| 1993 | Incorporating Generalized Quantifiers and the Least Fixed Point Operator. Iain A. Stewart |
| 1993 | Is Game Semantics Necessary? Andreas Blass |
| 1993 | Logical Aspects of Set Constraints. Dexter Kozen |
| 1993 | Negation as Inconsistency in PROLOG via Intuitionistic Logic. Alexey Gomolko |
| 1993 | Normalization for Typed Lambda Calculi with Explicit Substitution. Eike Ritter |
| 1993 | On Duality for the Modal µ-Calculus. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor |
| 1993 | On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search. Andreas Goerdt, Udo Kamps |
| 1993 | Oracles and Quantifiers. Johann A. Makowsky, Y. B. Pnueli |
| 1993 | Petri Nets and the Equivalence Problem. Yoram Hirshfeld |
| 1993 | Process Algebra with Combinators. Jan A. Bergstra, Inge Bethke, Alban Ponse |
| 1993 | Program Transformation and Proof Transformation. Wilfried Sieg, Stanley S. Wainer |
| 1993 | Short Proofs of Tautologies Using the Schema of Equivalence. Matthias Baaz, Richard Zach |
| 1993 | The Complexity of Set Constraints. Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers |
| 1993 | The Model Theory of Concurrency. Kevin J. Compton, Rosario Uceda-Sosa |