| 1993 | Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter |
| 1992 | A Self-Interpreter of Lambda Calculus Having a Normal Form. Alessandro Berarducci, Corrado Böhm |
| 1992 | A Theory of Classes for a Functional Language with Effects. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | A Universal Turing Machine. Stål Aanderaa |
| 1992 | Algorithmic Structuring of Cut-free Proofs. Matthias Baaz, Richard Zach |
| 1992 | An "Ehrenfeucht-Fraïssé Game" for Fixpoint Logic and Stratified Fixpoint Logic. Uwe Bosse |
| 1992 | Communicating Evolving Algebras. Paola Glavan, Dean Rosenzweig |
| 1992 | Comparative Transition System Semantics. Tim Fernando |
| 1992 | Inductive Definability with Counting on Finite Structures. Erich Grädel, Martin Otto |
| 1992 | Kleene's Slash and Existence of Values of Open Terms in Type Theory. Jan M. Smith |
| 1992 | Linear Lambda-Calculus and Categorial Models Revisited. P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
| 1992 | Linear Time Algorithms and NP-Complete Problems. Etienne Grandjean |
| 1992 | Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. Iain A. Stewart |
| 1992 | Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates. Clemens Lautemann |
| 1992 | Model Building by Resolution. Christian G. Fermüller, Alexander Leitsch |
| 1992 | Negation-Complete Logic Programs. Robert F. Stärk |
| 1992 | Notes on Sconing and Relators. John C. Mitchell, Andre Scedrov |
| 1992 | On Asymptotic Probabilities of Monadic Second Order Properties. Jerzy Tyszkiewicz |
| 1992 | On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
| 1992 | Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. Thomas Behrendt, Kevin J. Compton, Erich Grädel |
| 1992 | Reasoning with Higher Order Partial Functions. Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo |
| 1992 | Recursive Inseparability in Linear Logic. Stål Aanderaa, Herman Ruge Jervell |
| 1992 | Solving 3-Satisfiability in Less Then 1, 579 Ingo Schiermeyer |
| 1992 | The Basic Logic of Proofs. Sergei N. Artëmov, Tyko Straßen |
| 1992 | The Class of Problems that are Linear Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness. Nadia Creignou |
| 1992 | The Semantics of the C Programming Language. Yuri Gurevich, James K. Huggins |
| 1992 | Universes in the Theory of Types and Names. Markus Marzetta |