| 1992 | Zero-One Laws for Modal Logic | Joseph Y. Halpern, Bruce M. Kapron |
| 1992 | Random Worlds and Maximum Entropy | Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1992 | Deterministic vs. Nondeterministic Transitive Closure Logic | Erich Grdel, Gregory L. McColm |
| 1992 | An abstract standardisation theorem | Georges Gonthier, Jean-Jacques Lvy, Paul-Andr Mellis |
| 1992 | Linear Logic Without Boxes | Georges Gonthier, Martn Abadi, Jean-Jacques Lvy |
| 1992 | The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi | Herman Geuvers |
| 1992 | Mixing List Recursion and Arithmetic | Laurent Fribourg |
| 1992 | Functorial Parametricity | Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini |
| 1992 | Third Order Matching is Decidable | Gilles Dowek |
| 1992 | Observable Algorithms on Concrete Data Structures | Pierre-Louis Curien |
| 1992 | Decidable Problems in Shallow Equational Theories (Extended Abstract) | Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud |
| 1992 | Cutting Planes and constant depth Frege proofs | Peter Clote |
| 1992 | Monadic Theory of Term Rewritings | Didier Caucal |
| 1992 | Asynchronous Communication in Process Algebra | Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi |
| 1992 | Solving Systems of Set Constraints (Extended Abstract) | Alexander Aiken, Edward L. Wimmers |
| 1992 | Turning SOS Rules into Equations | Luca Aceto, Bard Bloom, Frits W. Vaandrager |
| 1992 | New Foundations for the Geometry of Interaction | Samson Abramsky, Radha Jagadeesan |
| 1991 | On the Relationship Between Process Algebra and Input/Output Automata | Frits W. Vaandrager |
| 1991 | Equational Prgoramming in lambda-calculus | Enrico Tronci |
| 1991 | The Fixed Point Property in Synthetic Domain Theory | Paul Taylor |
| 1991 | Constructive Negation for Constraint Logic Programming | Peter J. Stuckey |
| 1991 | Parallel PCF Has a Unique Extensional Model | Allen Stoughton |
| 1991 | Freyd's Hierarchy of Combinator Monoids | Richard Statman |
| 1991 | Defaults and Revision in Structured Theories | Mark Ryan |
| 1991 | Unification and Anti-Unification in the Calculus of Constructions | Frank Pfenning |