| 1996 | A Fully Abstract Domain Model for the pi-Calculus. Ian Stark |
| 1996 | A Fully-Abstract Model for the pi-Calculus (Extended Abstract). Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
| 1996 | A Generalization of Fagin's Theorem. J. Antonio Medina, Neil Immerman |
| 1996 | A Linear Logical Framework. Iliano Cervesato, Frank Pfenning |
| 1996 | A Modal Mu-Calculus for Durational Transition Systems. Helmut Seidl |
| 1996 | A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract). C.-H. Luke Ong |
| 1996 | A Temporal-Logic Approach to Binding-Time Analysis. Rowan Davies |
| 1996 | An Algebraic Theory of Process Efficiency. V. Natarajan, Rance Cleaveland |
| 1996 | An Until Hierarchy for Temporal Logic. Kousha Etessami, Thomas Wilke |
| 1996 | Basic Paramodulation and Decidable Theories (Extended Abstract). Robert Nieuwenhuis |
| 1996 | Completing Partial Combinatory Algebras With Unique Head-Normal Forms. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer |
| 1996 | Complexity Analysis Based on Ordered Resolution. David A. Basin, Harald Ganzinger |
| 1996 | Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. César A. Muñoz |
| 1996 | Counting Modulo Quantifiers on Finite Linearly Ordered Trees. Juha Nurmonen |
| 1996 | DATALOG SIRUPs Uniform Boundedness is Undecidable. Jerzy Marcinkowski |
| 1996 | Decidability Problems for the Prenex Fragment of Intuitionistic Logic. Anatoli Degtyarev, Andrei Voronkov |
| 1996 | Decision Problems for Semi-Thue Systems with a Few Rules. Yuri V. Matiyasevich, Géraud Sénizergues |
| 1996 | Efficient Model Checking via the Equational µ-Calculus. Girish Bhat, Rance Cleaveland |
| 1996 | Game Semantics & Abstract Machines. Vincent Danos, Hugo Herbelin, Laurent Regnier |
| 1996 | Games and Full Abstraction for FPC. Guy McCusker |
| 1996 | General Decidability Theorems for Infinite-State Systems. Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
| 1996 | Higher Dimensional Transition Systems. Gian Luca Cattani, Vladimiro Sassone |
| 1996 | Integration in Real PCF. Abbas Edalat, Martín Hötzel Escardó |
| 1996 | Linear Logic, Monads and the Lambda Calculus. P. N. Benton, Philip Wadler |
| 1996 | Locally Linear Time Temporal Logic. Ramaswamy Ramanujam |
| 1996 | Model-Checking of Correctness Conditions for Concurrent Objects. Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1996 | More About Recursive Structures: Descriptive Complexity and Zero-One Laws. Tirza Hirst, David Harel |
| 1996 | On the Complexity of Abduction. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1996 | On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi. Gerd G. Hillebrand, Paris C. Kanellakis |
| 1996 | On the Expressive Power of Variable-Confined Logics. Phokion G. Kolaitis, Moshe Y. Vardi |
| 1996 | On the Structure of Queries in Constraint Query Languages. Michael Benedikt, Leonid Libkin |
| 1996 | Order-Incompleteness and Finite Lambda Models (Extended Abstract). Peter Selinger |
| 1996 | Partial-Order Methods for Model Checking: From Linear Time to Branching Time. Bernard Willems, Pierre Wolper |
| 1996 | Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996 |
| 1996 | Reactive Modules. Rajeev Alur, Thomas A. Henzinger |
| 1996 | Reasoning about Local Variables with Operationally-Based Logical Relations. Andrew M. Pitts |
| 1996 | Reduction-Free Normalisation for a Polymorphic System. Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |
| 1996 | Relating Word and Tree Automata. Orna Kupferman, Shmuel Safra, Moshe Y. Vardi |
| 1996 | Semantics of Normal Logic Programs and Contested Information. Shekhar Pradhan |
| 1996 | Simultaneous E-Unification and Related Algorithmic Problems. Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov |
| 1996 | Solving Linear Equations over Polynomial Semirings. Paliath Narendran |
| 1996 | Subtyping Dependent Types (Summary). David Aspinall, Adriana B. Compagnoni |
| 1996 | Symbolic Protocol Verification With Queue BDDs. Patrice Godefroid, David E. Long |
| 1996 | Syntactic Considerations on Recursive Types. Martín Abadi, Marcelo P. Fiore |
| 1996 | Tarskian Set Constraints. David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen |
| 1996 | The Essence of Parallel Algol. Stephen D. Brookes |
| 1996 | The Scott Topology Induces the Weak Topology. Abbas Edalat |
| 1996 | The Subtyping Problem for Second-Order Types is Undecidable. Jerzy Tiuryn, Pawel Urzyczyn |
| 1996 | The Theory of Hybrid Automata. Thomas A. Henzinger |
| 1996 | Zero-One Laws for Gilbert Random Graphs. Gregory L. McColm |