| 1992 | Model Building by Resolution. | Christian G. Fermller, Alexander Leitsch |
| 1992 | Comparative Transition System Semantics. | Tim Fernando |
| 1992 | The Class of Problems that are Linear Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness. | Nadia Creignou |
| 1992 | An "Ehrenfeucht-Frass Game" for Fixpoint Logic and Stratified Fixpoint Logic. | Uwe Bosse |
| 1992 | A Self-Interpreter of Lambda Calculus Having a Normal Form. | Alessandro Berarducci, Corrado Bhm |
| 1992 | Linear Lambda-Calculus and Categorial Models Revisited. | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
| 1992 | Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions. | Thomas Behrendt, Kevin J. Compton, Erich Grdel |
| 1992 | Algorithmic Structuring of Cut-free Proofs. | Matthias Baaz, Richard Zach |
| 1992 | The Basic Logic of Proofs. | Sergei N. Artmov, Tyko Straen |
| 1992 | Recursive Inseparability in Linear Logic. | Stl Aanderaa, Herman Ruge Jervell |
| 1992 | A Universal Turing Machine. | Stl Aanderaa |
| 1991 | Proving Termination for Term Rewriting Systems. | Andreas Weiermann |
| 1991 | On Completeness of Program Synthesis Systems. | Andrei Voronkov |
| 1991 | Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic. | Jerzy Tyszkiewicz |
| 1991 | Comparing the Theory of Representations and Constructive Mathematics. | A. S. Troelstra |
| 1991 | Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. | John G. Thistle, Walter Murray Wonham |
| 1991 | On Completeness for NP via Projection Translations. | Iain A. Stewart |
| 1991 | Quantifier Hierarchies over Word Relations. | Sebastian Seibert |
| 1991 | Minimal from Classical Proofs. | Helmut Schwichtenberg |
| 1991 | A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. | Ulf R. Schmerl |
| 1991 | A Transformational Methodology for Proving Termination of Logic Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1991 | Ordinal Processes in Comparative Concurrency Semantics. | Sophie Pinchinat |
| 1991 | A Fragment of First Order Logic Adequate for Observation Equivalence. | Halit Oguztzn |
| 1991 | Normal Forms in Infinite-Valued Logic: The Case of One Variable. | Daniele Mundici |
| 1991 | Equational Specification of Abstract Types and Combinators. | Karl Meinke |