| 1993 | Approximable Minimization Problems and Optimal Solutions on Random Inputs. | Erich Grdel, Anders Malmstrm |
| 1993 | Negation as Inconsistency in PROLOG via Intuitionistic Logic. | Alexey Gomolko |
| 1993 | On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search. | Andreas Goerdt, Udo Kamps |
| 1993 | From Semantics to Rules: A Machine Assisted Analysis. | Catarina Coquand |
| 1993 | The Model Theory of Concurrency. | Kevin J. Compton, Rosario Uceda-Sosa |
| 1993 | Is Game Semantics Necessary? | Andreas Blass |
| 1993 | Process Algebra with Combinators. | Jan A. Bergstra, Inge Bethke, Alban Ponse |
| 1993 | Short Proofs of Tautologies Using the Schema of Equivalence. | Matthias Baaz, Richard Zach |
| 1993 | On Duality for the Modal µ-Calculus. | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor |
| 1993 | The Complexity of Set Constraints. | Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers |
| 1992 | On Asymptotic Probabilities of Monadic Second Order Properties. | Jerzy Tyszkiewicz |
| 1992 | Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. | Iain A. Stewart |
| 1992 | Negation-Complete Logic Programs. | Robert F. Strk |
| 1992 | Kleene's Slash and Existence of Values of Open Terms in Type Theory. | Jan M. Smith |
| 1992 | Solving 3-Satisfiability in Less Then 1, 579 | Ingo Schiermeyer |
| 1992 | Notes on Sconing and Relators. | John C. Mitchell, Andre Scedrov |
| 1992 | Universes in the Theory of Types and Names. | Markus Marzetta |
| 1992 | Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates. | Clemens Lautemann |
| 1992 | A Theory of Classes for a Functional Language with Effects. | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | The Semantics of the C Programming Language. | Yuri Gurevich, James K. Huggins |
| 1992 | Linear Time Algorithms and NP-Complete Problems. | Etienne Grandjean |
| 1992 | Inductive Definability with Counting on Finite Structures. | Erich Grdel, Martin Otto |
| 1992 | On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo |
| 1992 | Communicating Evolving Algebras. | Paola Glavan, Dean Rosenzweig |
| 1992 | Reasoning with Higher Order Partial Functions. | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodrguez-Artalejo |