| 1994 | A Fully Abstract Semantics for Concurrent Graph Reduction | Alan Jeffrey |
| 1994 | Upper and Lower Bounds for Tree-Like Cutting Planes Proofs | Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart |
| 1994 | Linear Types, Approximation, and Topology | Michael Huth, Achim Jung, Klaus Keimel |
| 1994 | The Groupoid Model Refutes Uniqueness of Identity Proofs | Martin Hofmann, Thomas Streicher |
| 1994 | Complexity Transfer for Modal Logic (Extended Abstract) | Edith Hemaspaandra |
| 1994 | How to Define a Linear Order on Finite Models | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto |
| 1994 | McColm's Conjecture | Yuri Gurevich, Neil Immerman, Saharon Shelah |
| 1994 | Rigid E-Unifiability is DEXPTIME-Complete | Jean Goubault |
| 1994 | On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study | Herman Geuvers, Benjamin Werner |
| 1994 | An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC | Marcelo P. Fiore, Gordon D. Plotkin |
| 1994 | Domain Theory and Integration | Abbas Edalat |
| 1994 | The Expressive Power of Finitely Many Generalized Quantifiers | Anuj Dawar, Lauri Hella |
| 1994 | On Strong Stability and Higher-Order Sequentiality | Loc Colson, Thomas Ehrhard |
| 1994 | Automatic Verification of Finite-State Concurrent Systems | Edmund M. Clarke |
| 1994 | Negative Set Constraints with Equality | Witold Charatonik, Leszek Pacholski |
| 1994 | Compositional Verification of Real-Time Systems | Edward Y. Chang, Zohar Manna, Amir Pnueli |
| 1994 | Terms, Proofs, and Refinement (Extended abstract) | Rod M. Burstall |
| 1994 | Categories, Allegories and Circuit Design | Carolyn Brown, Graham Hutton |
| 1994 | Semantics of Meta-Logic in an Algebra of Programs | Antonio Brogi, Franco Turini |
| 1994 | a modal logic for subjective default reasoning | Shai Ben-David, Rachel Ben-Eliyahu |
| 1994 | Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube | Franco Barbanera, Maribel Fernndez, Herman Geuvers |
| 1994 | Rewrite Techniques for Transitive Relations | Leo Bachmair, Harald Ganzinger |
| 1994 | A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation | Matthias Baaz, Christian G. Fermller, Alexander Leitsch |
| 1994 | Paths in the lambda-calculus | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
| 1994 | Cyclic Lambda Graph Rewriting | Zena M. Ariola, Jan Willem Klop |