| 1991 | On the Deduction Rule and the Number of Proof Lines | Maria Luisa Bonet, Samuel R. Buss |
| 1991 | A Compositional Proof System for Dynamic Process Creation | Frank S. de Boer |
| 1991 | An Inverse of the Evaluation Functional for Typed lambda-calculus | Ulrich Berger, Helmut Schwichtenberg |
| 1991 | On First Order Database Query Languages | Arnon Avron, Yoram Hirshfeld |
| 1991 | Partial Objects in the Calculus of Constructions | Philippe Audebaud |
| 1991 | Towards a Semantics for the QUEST Language | Fabio Alessi, Franco Barbanera |
| 1991 | Term Declaration Logic and Generalised Composita | Peter Aczel |
| 1990 | Conditional Lambda-Theories and the Verification of Static Properties of Programs | Mitchell Wand, Zheng-Yu Wang |
| 1990 | Programming in Equational Logic: Beyond Strong Sequentiality | R. C. Sekar, I. V. Ramakrishnan |
| 1990 | Polymorphism, Set Theory, and Call-by-Value | Edmund Robinson, Giuseppe Rosolini |
| 1990 | Effective Domains and Intrinsic Structure | Wesley Phoa |
| 1990 | Proof Transformations for Equational Theories | Tobias Nipkow |
| 1990 | Three Logics for Branching Bisimulation (Extended Abstract) | Rocco De Nicola, Frits W. Vaandrager |
| 1990 | A Constructive Proof of Higman's Lemma | Chetan R. Murthy, James R. Russell |
| 1990 | The Nonexistence of Finite Axiomatisations for CCS Congruences | Faron Moller |
| 1990 | The Dynamic Logic of Permission | Ron van der Meyden |
| 1990 | A Theory of Nonmonotonic Rule Systems | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1990 | A Logic of Concrete Time Intervals (Extended Abstract) | Harry R. Lewis |
| 1990 | Well Rewrite Orderings | Pierre Lescanne |
| 1990 | A Constraint Sequent Calculus | Jean-Louis Lassez, Ken McAloon |
| 1990 | Equation Solving Using Modal Transition Systems | Kim Guldstrand Larsen, Xinxin Liu |
| 1990 | 0-1 Laws for Infinitary Logics (Preliminary Report) | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1990 | Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) | Phokion G. Kolaitis |
| 1990 | Syntactic Theories and Unification | Claude Kirchner, Francis Klay |
| 1990 | Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) | A. J. Kfoury, Jerzy Tiuryn |