| 1992 | Negation Elimination in Equational Formulae. | Hubert Comon, Maribel Fernndez |
| 1992 | Rational Transductions and Complexity of Counting Problems. | Christian Choffrut, Massimiliano Goldwurm |
| 1992 | On the Complexity of Incremental Computation. | Suresh Chari, Desh Ranjan, Pankaj Rohatgi |
| 1992 | Promise Problems and Access to Unambiguous Computation. | Jin-yi Cai, Lane A. Hemachandra, Jozef Vyskoc |
| 1992 | The Degree Structure of 1-L Reductions. | Hans-Jrg Burtschick, Albrecht Hoene |
| 1992 | Some Remarks on the Test Complexity of Iterative Logic Arrays. | Bernd Becker, Joachim Hartmann |
| 1992 | A Perfect Parallel Dictionary. | Hannah Bast, Martin Dietzfelbinger, Torben Hagerup |
| 1992 | On Range Searching with Semialgebraic Sets. | Pankaj K. Agarwal, Jir Matousek |
| 1991 | Different Modifications of Pointer Machines and Their Computational Power. | Konstantin V. Shvachko |
| 1991 | On a Hierarchy of File Types and a Tower of Their Theories. | Andrzej Salwicki |
| 1991 | An Efficient Decision Algorithm for the Uniform Semi-Unification Problem. | Peter Ruzicka |
| 1991 | Composition of Two Semi Commutations. | Yves Roos, Pierre-Andr Wacrenier |
| 1991 | Once More on Order-Sorted Algebras. | Axel Poign |
| 1991 | An Extensional Partial Combinatory Algebra Based on Lamda-Terms. | Ramn Pino Prez |
| 1991 | Extending Temporal Logic by Explicit Concurrency. | Barbara Paech |
| 1991 | On the Cardinality of Sets of Infinite Trees Recognizable by Finite Automata. | Damian Niwinski |
| 1991 | Models for Concurrency. | Mogens Nielsen |
| 1991 | CCS Dynamic Bisimulation is Progressing. | Ugo Montanari, Vladimiro Sassone |
| 1991 | Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs. | Christoph Meinel, Stephan Waack |
| 1991 | On the Faithfulness of Formal Models. | Zohar Manna, Amir Pnueli |
| 1991 | Rewrite Orderings and Termination of Rewrite Systems. | Pierre Lescanne |
| 1991 | Maintaining Dictionaries in a Hierarchical Memory. | Claudia Leopold |
| 1991 | A Decidable Case of the Semi-Unification Problem. | Hans Lei, Fritz Henglein |
| 1991 | Elimination of Negation in Term Algebras. | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
| 1991 | On Strict Codes. | Nguyen Huong Lam, Do Long Van |