| 1994 | Foundations of Proof Search Strategies Design in Linear Logic. | Didier Galmiche, Guy Perrier |
| 1994 | Multiplicative Linear Logic for Resource Transformation Nets. | Alex Dekhtyar |
| 1994 | The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories. | Cheng-Chia Chen, I-Peng Lin |
| 1994 | Allegories of Circuits. | Carolyn Brown, Alan Jeffrey |
| 1994 | An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. | Sergey Berezin, Nikolay V. Shilov |
| 1994 | Comparing Cubes. | Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn |
| 1994 | Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. | Andrea Asperti, Giovanna M. Dore |
| 1994 | Referential Data Structures and Labeled Modal Logic. | Sergei N. Artmov, Vladimir Krupski |
| 1994 | Concurrency Problem for Horn Fragment of Girard's Linear Logic. | Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin |
| 1994 | On Model Checking Infinite-State Systems. | Henrik Reif Andersen |
| 1994 | Lower Bounds for Probabilistic Space Complexity: Communication-Automata Approach. | Farid M. Ablayev |
| 1992 | Gentzen-Style and Novikov-Style Cut-Elimination. | Sergei Tupailo |
| 1992 | Solving Equational Constraints in Polymorphic Types. | Jerzy Tiuryn |
| 1992 | Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. | Iain A. Stewart |
| 1992 | Effective Operators and Continuity Revisited. | Dieter Spreen |
| 1992 | Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. | Nikolay V. Shilov |
| 1992 | On the Expressive Power of Modal Logics on Trees. | Bernd-Holger Schlingloff |
| 1992 | A Sequent Calculus for a First Order Linear Temporal Logic with Equality. | Jurate Sakalauskaite |
| 1992 | An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture. | Kamel Sadi, Franois Meunier |
| 1992 | Correctness of Generic Modules. | Wolfgang Reif |
| 1992 | Non Modularity and Expressibility for Nets of Relations. | Alexander Moshe Rabinovich |
| 1992 | Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since. | Regimantas Pliuskevicius |
| 1992 | Sequential Calculus for Proving the Properties of Regular Programs. | Aida Pliuskeviciene |
| 1992 | Operators on Lattices of omega-Herbrand Interpretations. | Jan A. Plaza |
| 1992 | Incremental Polymorphic Type Checking with Update. | Alan Mycroft |