| 1996 | Reactive Modules. | Rajeev Alur, Thomas A. Henzinger |
| 1996 | Reduction-Free Normalisation for a Polymorphic System. | Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |
| 1996 | General Decidability Theorems for Infinite-State Systems. | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
| 1996 | Syntactic Considerations on Recursive Types. | Martn Abadi, Marcelo P. Fiore |
| 1995 | Timing Behavior Analysis for Real-Time Systems | Farn Wang |
| 1995 | Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus | Igor Walukiewicz |
| 1995 | On the Complexity of Modular Model Checking | Moshe Y. Vardi |
| 1995 | Hardware Verification, Boolean Logic Programming, Boolean Functional Programming | Enrico Tronci |
| 1995 | Origins and Metamorphoses of the Trinity: Logic, Nets, Automata | Boris A. Trakhtenbrot |
| 1995 | Finitely Monotone Properties | Alexei P. Stolboushkin |
| 1995 | Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS | Alex K. Simpson |
| 1995 | When Do Fixed Point Logics Capture Complexity Classes? | Anil Seth |
| 1995 | The Stone Gamut: A Coordinatization of Mathematics | Vaughan R. Pratt |
| 1995 | Normalization and Extensionality (Extended Abstract) | Adolfo Piperno |
| 1995 | Structural Cut Elimination | Frank Pfenning |
| 1995 | First-order Queries on Finite Structures over the Reals | Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht |
| 1995 | Logically Presented Domains | Erik Palmgren, Viggo Stoltenberg-Hansen |
| 1995 | Ptime Canonization for Two Variables with Counting | Martin Otto |
| 1995 | Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) | Gopalan Nadathur, Donald W. Loveland |
| 1995 | Control Structures | Alex Mifsud, Robin Milner, A. John Power |
| 1995 | Modal mu-Types for Processes | Marino Miculan, Fabio Gadducci |
| 1995 | Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | The Infinitary Logic of Sparse Random Graphs | James F. Lynch, Jerzy Tyszkiewicz |
| 1995 | Paramodulation without Duplication | Christopher Lynch |
| 1995 | A Logic of Subtyping (Extended Abstract) | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |