| 2002 | Open Proofs and Open Terms: A Basis for Interactive Logic. | Herman Geuvers, Gueorgui I. Jojgov |
| 2002 | Resource Tableaux. | Didier Galmiche, Daniel Mry, David J. Pym |
| 2002 | Designs, Disputes and Strategies. | Claudia Faggian, Martin Hyland |
| 2002 | Travelling on Designs. | Claudia Faggian |
| 2002 | Greibach Normal Form in Algebraically Complete Semirings. | Zoltn sik, Hans Lei |
| 2002 | Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. | Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin |
| 2002 | A Fixpoint Theory for Non-monotonic Parallelism. | Yifeng Chen |
| 2002 | Configuration Theories. | Pietro Cenciarelli |
| 2002 | Solving Pushdown Games with a Sigma | Thierry Cachat, Jacques Duparc, Wolfgang Thomas |
| 2002 | Compactness and Continuity, Constructively Revisited. | Douglas S. Bridges, Hajime Ishihara, Peter Schuster |
| 2002 | Equivalence and Isomorphism for Boolean Constraint Satisfaction. | Elmar Bhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer |
| 2002 | On the Variable Hierarchy of the Modal µ-Calculus. | Dietmar Berwanger, Erich Grdel, Giacomo Lenzi |
| 2002 | Resolution Refutations and Propositional Proofs with Height-Restrictions. | Arnold Beckmann |
| 2002 | A Logic of Probability with Decidable Model-Checking. | Danile Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
| 2002 | Local Problems, Planar Local Problems and Linear Time. | Rgis Barbanchon, Etienne Grandjean |
| 2002 | On Generalizations of Semi-terms of Particularly Simple Form. | Matthias Baaz, Georg Moser |
| 2002 | On the Automatizability of Resolution and Related Propositional Proof Systems. | Albert Atserias, Maria Luisa Bonet |
| 2002 | On Continuous Normalization. | Klaus Aehlig, Felix Joachimski |
| 2001 | A Logic for Abstract State Machines. | Robert F. Strk, Stanislas Nanchen |
| 2001 | The Natural Order-Generic Collapse for omega-Representable Databases over the Rational and the Real Ordered Group. | Nicole Schweikardt |
| 2001 | Recursion for Higher-Order Encodings. | Carsten Schrmann |
| 2001 | Life without the Terminal Type. | Lutz Schrder |
| 2001 | Stratified Context Unification Is in PSPACE. | Manfred Schmidt-Schau |
| 2001 | Complete Categorical Equational Deduction. | Grigore Rosu |
| 2001 | Intersection Logic. | Simona Ronchi Della Rocca, Luca Roversi |