| 1995 | A Complete Proof Systems for QPTL Yonit Kesten, Amir Pnueli |
| 1995 | A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types Alan Jeffrey |
| 1995 | A Logic of Subtyping (Extended Abstract) Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |
| 1995 | A Typed Calculus of Synchronous Processes Simon J. Gay, Rajagopal Nagarajan |
| 1995 | Complete Proof Systems for First Order Interval Temporal Logic Bruno Dutertre |
| 1995 | Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus Igor Walukiewicz |
| 1995 | Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | Compositional Testing Preorders for Probabilistic Processes Bengt Jonsson, Wang Yi |
| 1995 | Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS Alex K. Simpson |
| 1995 | Configuration Structures Rob J. van Glabbeek, Gordon D. Plotkin |
| 1995 | Control Structures Alex Mifsud, Robin Milner, A. John Power |
| 1995 | Decidability of Linear Affine Logic Alexey P. Kopylov |
| 1995 | Decision Problems for Second-Order Linear Logic Patrick Lincoln, Andre Scedrov, Natarajan Shankar |
| 1995 | Domain Theory in Stochastic Processes Abbas Edalat |
| 1995 | Efficient On-the-Fly Model Checking for CTL* Girish Bhat, Rance Cleaveland, Orna Grumberg |
| 1995 | Equality between Functionals in the Presence of Coproducts Daniel J. Dougherty, Ramesh Subrahmanyam |
| 1995 | Experience with Type Theory as a Foundation for Computer Science Robert L. Constable |
| 1995 | Finitely Monotone Properties Alexei P. Stolboushkin |
| 1995 | First-order Queries on Finite Structures over the Reals Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht |
| 1995 | Games Semantics for Full Propositional Linear Logic François Lamarche |
| 1995 | Games and Full Abstraction for the Lazy lambda-Calculus Samson Abramsky, Guy McCusker |
| 1995 | Generalized Quantifiers and 0-1 Laws Anuj Dawar, Erich Grädel |
| 1995 | Hardware Verification, Boolean Logic Programming, Boolean Functional Programming Enrico Tronci |
| 1995 | Higher-Order Unification via Explicit Substitutions (Extended Abstract) Gilles Dowek, Thérèse Hardin, Claude Kirchner |
| 1995 | Logically Presented Domains Erik Palmgren, Viggo Stoltenberg-Hansen |
| 1995 | Modal mu-Types for Processes Marino Miculan, Fabio Gadducci |
| 1995 | Model-Checking of Causality Properties Rajeev Alur, Doron A. Peled, Wojciech Penczek |
| 1995 | New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi A. J. Kfoury, J. B. Wells |
| 1995 | Normalization and Extensionality (Extended Abstract) Adolfo Piperno |
| 1995 | On the Complexity of Modular Model Checking Moshe Y. Vardi |
| 1995 | On the Verification Problem of Nonregular Properties for Nonregular Processes Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1995 | Once and For All Orna Kupferman, Amir Pnueli |
| 1995 | Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) Hubert Comon, Robert Nieuwenhuis, Albert Rubio |
| 1995 | Origins and Metamorphoses of the Trinity: Logic, Nets, Automata Boris A. Trakhtenbrot |
| 1995 | Paramodulation without Duplication Christopher Lynch |
| 1995 | Partial Model Checking (Extended Abstract) Henrik Reif Andersen |
| 1995 | Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995 |
| 1995 | Ptime Canonization for Two Variables with Counting Martin Otto |
| 1995 | Relativized Logspace and Generalized Quantifiers over Finite Structures Georg Gottlob |
| 1995 | Sequentiality, Second Order Monadic Logic and Tree Automata Hubert Comon |
| 1995 | Structural Cut Elimination Frank Pfenning |
| 1995 | The Complexity of Neutrals in Linear Logic Max I. Kanovich |
| 1995 | The Infinitary Logic of Sparse Random Graphs James F. Lynch, Jerzy Tyszkiewicz |
| 1995 | The Semantic Challenge of Verilog HDL Michael J. C. Gordon |
| 1995 | The Stone Gamut: A Coordinatization of Mathematics Vaughan R. Pratt |
| 1995 | Timing Behavior Analysis for Real-Time Systems Farn Wang |
| 1995 | Tree Canonization and Transitive Closure Kousha Etessami, Neil Immerman |
| 1995 | Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) Gopalan Nadathur, Donald W. Loveland |
| 1995 | When Do Fixed Point Logics Capture Complexity Classes? Anil Seth |