| 1994 | A Compositional Proof System for the Modal mu-Calculus Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
| 1994 | A Fully Abstract Semantics for Concurrent Graph Reduction Alan Jeffrey |
| 1994 | A General Semantics for Evaluation Logic Eugenio Moggi |
| 1994 | A Multiple-Conclusion Meta-Logic Dale Miller |
| 1994 | A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation Matthias Baaz, Christian G. Fermüller, Alexander Leitsch |
| 1994 | A Semantics of Object Types Martín Abadi, Luca Cardelli |
| 1994 | A Syntactic Characterization of NP-Completeness J. Antonio Medina, Neil Immerman |
| 1994 | A Trace Based Extension of Linear Time Temporal Logic P. S. Thiagarajan |
| 1994 | An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC Marcelo P. Fiore, Gordon D. Plotkin |
| 1994 | Automatic Verification of Finite-State Concurrent Systems Edmund M. Clarke |
| 1994 | Axioms for Knowledge and Time in Distributed Systems with Perfect Recall Ron van der Meyden |
| 1994 | Bisimulation is Not Finitely (First Order) Equationally Axiomatisable Peter Sewell |
| 1994 | Categories, Allegories and Circuit Design Carolyn Brown, Graham Hutton |
| 1994 | Complexity Transfer for Modal Logic (Extended Abstract) Edith Hemaspaandra |
| 1994 | Compositional Verification of Real-Time Systems Edward Y. Chang, Zohar Manna, Amir Pnueli |
| 1994 | Cyclic Lambda Graph Rewriting Zena M. Ariola, Jan Willem Klop |
| 1994 | Domain Theory and Integration Abbas Edalat |
| 1994 | Efficient Inference of Object Types Jens Palsberg |
| 1994 | Finitary Fairness Rajeev Alur, Thomas A. Henzinger |
| 1994 | Foundations of Timed Concurrent Constraint Programming Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1994 | Generalized Quantifiers for Simple Properties Martin Otto |
| 1994 | Higher-Order Narrowing Christian Prehofer |
| 1994 | How to Define a Linear Order on Finite Models Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto |
| 1994 | Language Completeness of the Lambek Calculus Mati Pentus |
| 1994 | Linear Logic, Totality and Full Completeness Ralph Loader |
| 1994 | Linear Types, Approximation, and Topology Michael Huth, Achim Jung, Klaus Keimel |
| 1994 | Logical Bilattices and Inconsistent Data Ofer Arieli, Arnon Avron |
| 1994 | McColm's Conjecture Yuri Gurevich, Neil Immerman, Saharon Shelah |
| 1994 | Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube Franco Barbanera, Maribel Fernández, Herman Geuvers |
| 1994 | Negative Set Constraints with Equality Witold Charatonik, Leszek Pacholski |
| 1994 | Normalised Rewriting and Normalised Completion Claude Marché |
| 1994 | On Strong Stability and Higher-Order Sequentiality Loïc Colson, Thomas Ehrhard |
| 1994 | On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study Herman Geuvers, Benjamin Werner |
| 1994 | On the Parallel Complexity of Model Checking in the Modal Mu-Calculus Shipei Zhang, Oleg Sokolsky, Scott A. Smolka |
| 1994 | Passivity and Independence Uday S. Reddy |
| 1994 | Paths in the lambda-calculus Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
| 1994 | Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994 |
| 1994 | Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi Patrick Lincoln, Natarajan Shankar |
| 1994 | Reflexive Graphs and Parametric Polymorphism Edmund P. Robinson, Giuseppe Rosolini |
| 1994 | Rewrite Techniques for Transitive Relations Leo Bachmair, Harald Ganzinger |
| 1994 | Rigid E-Unifiability is DEXPTIME-Complete Jean Goubault |
| 1994 | Semantics of Meta-Logic in an Algebra of Programs Antonio Brogi, Franco Turini |
| 1994 | Subtyping and Parametricity Gordon D. Plotkin, Martín Abadi, Luca Cardelli |
| 1994 | Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete Kjartan Stefánsson |
| 1994 | Terms, Proofs, and Refinement (Extended abstract) Rod M. Burstall |
| 1994 | The Declarative Semantics of the Prolog Selection Rule Robert F. Stärk |
| 1994 | The Emptiness Problem for Intersection Types Pawel Urzyczyn |
| 1994 | The Expressive Power of Finitely Many Generalized Quantifiers Anuj Dawar, Lauri Hella |
| 1994 | The Groupoid Model Refutes Uniqueness of Identity Proofs Martin Hofmann, Thomas Streicher |
| 1994 | The Power of Reflective Relational Machines Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu |
| 1994 | Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable J. B. Wells |
| 1994 | Type Inference and Extensionality Adolfo Piperno, Simona Ronchi Della Rocca |
| 1994 | Upper and Lower Bounds for Tree-Like Cutting Planes Proofs Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart |
| 1994 | a modal logic for subjective default reasoning Shai Ben-David, Rachel Ben-Eliyahu |