| 1996 | Social Confluence in Client-Server Systems. | Anna Philippou, David Walker |
| 1996 | The Logic of Explicitly Presentation-Invariant Circuits. | Martin Otto |
| 1996 | Exact Pairs for Abstract Bounded Reducibilities. | Wolfgang Merkle |
| 1996 | Computational Representations of Herbrand Models Using Grammars. | Robert Matzinger |
| 1996 | Optimization Problems with Approximation Schemes. | Anders Malmstrm |
| 1996 | Proofs in System F | Sophie Malecki |
| 1996 | Coercive Subtyping in Type Theory. | Zhaohui Luo |
| 1996 | Monadic NP and Built-in Trees. | Martin Kreidler, Detlef Seese |
| 1996 | Kleene Algebra with Tests: Completeness and Decidability. | Dexter Kozen, Frederick Smith |
| 1996 | Weak Semantics Based on Lighted Button Pressing Experiments. | Anna Inglfsdttir |
| 1996 | Computational Aspects of Arity Hierarchies. | Henrik Imhof |
| 1996 | Cut-free Display Calculi for Relation Algebras. | Rajeev Gor |
| 1996 | Eta-Expansions in F | Neil Ghani |
| 1996 | Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. | Herman Geuvers |
| 1996 | Relative Undecidability in Term Rewriting. | Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
| 1996 | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. | Marcelo P. Fiore, Gordon D. Plotkin |
| 1996 | Graph Rewriting Semantics for Functional Programming Languages. | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |
| 1996 | Bounded-Variable Fixpoint Queries are PSPACE-complete. | Stefan Dziembowski |
| 1996 | Directed Virtual Reductions. | Vincent Danos, Marco Pedicini, Laurent Regnier |
| 1996 | Presheaf Models for Concurrency. | Gian Luca Cattani, Glynn Winskel |
| 1996 | On the Subject Reduction Property for Algebraic Type Systems. | Gilles Barthe, Paul-Andr Mellis |
| 1996 | Fast Cut-Elimination by Projection. | Matthias Baaz, Alexander Leitsch |
| 1996 | Four-Valued Diagnoses for Stratified Knowledge-Bases. | Ofer Arieli, Arnon Avron |
| 1995 | Positive Deduction modulo Regular Theories. | Laurent Vigneron |
| 1995 | Theorem Proving modulo Associativity. | Albert Rubio |