| 2002 | A Fixpoint Theory for Non-monotonic Parallelism. Yifeng Chen |
| 2002 | A Fully Abstract Relational Model of Syntactic Control of Interference. Guy McCusker |
| 2002 | A Logic for Probabilities in Semantics. M. Andrew Moshier, Achim Jung |
| 2002 | A Logic of Probability with Decidable Model-Checking. Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
| 2002 | A Proof Theoretical Account of Continuation Passing Style. Ichiro Ogata |
| 2002 | A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel |
| 2002 | Automata, Logic, and XML. Frank Neven |
| 2002 | Bijections between Partitions by Two-Directional Rewriting Techniques. Max I. Kanovich |
| 2002 | Classical Linear Logic of Implications. Masahito Hasegawa |
| 2002 | Compactness and Continuity, Constructively Revisited. Douglas S. Bridges, Hajime Ishihara, Peter Schuster |
| 2002 | Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings Julian C. Bradfield |
| 2002 | Configuration Theories. Pietro Cenciarelli |
| 2002 | Decidability of Bounded Higher-Order Unification. Manfred Schmidt-Schauß, Klaus U. Schulz |
| 2002 | Designs, Disputes and Strategies. Claudia Faggian, Martin Hyland |
| 2002 | Duality between Call-by-Name Recursion and Call-by-Value Iteration. Yoshihiko Kakutani |
| 2002 | Equivalence and Isomorphism for Boolean Constraint Satisfaction. Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer |
| 2002 | Extraction of Proofs from the Clausal Normal Form Transformation. Hans de Nivelle |
| 2002 | Greibach Normal Form in Algebraically Complete Semirings. Zoltán Ésik, Hans Leiß |
| 2002 | Higher-Order Positive Set Constraints. Jean Goubault-Larrecq |
| 2002 | Hoare Logics for Recursive Procedures and Unbounded Nondeterminism. Tobias Nipkow |
| 2002 | Implicit Computational Complexity for Higher Type Functionals. Daniel Leivant |
| 2002 | Limit-Computable Mathematics and Its Applications. Susumu Hayashi, Yohji Akama |
| 2002 | Local Problems, Planar Local Problems and Linear Time. Régis Barbanchon, Etienne Grandjean |
| 2002 | Logical Relations for Monadic Types. Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
| 2002 | On Continuous Normalization. Klaus Aehlig, Felix Joachimski |
| 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 the Variable Hierarchy of the Modal µ-Calculus. Dietmar Berwanger, Erich Grädel, Giacomo Lenzi |
| 2002 | Open Proofs and Open Terms: A Basis for Interactive Logic. Herman Geuvers, Gueorgui I. Jojgov |
| 2002 | Optimal Complexity Bounds for Positive LTL Games. Jerzy Marcinkowski, Tomasz Truderung |
| 2002 | Partial Fixed-Point Logic on Infinite Structures. Stephan Kreutzer |
| 2002 | Possible World Semantics for General Storage in Call-By-Value. Paul Blain Levy |
| 2002 | Proofnets and Context Semantics for the Additives. Harry G. Mairson, Xavier Rival |
| 2002 | Resolution Refutations and Propositional Proofs with Height-Restrictions. Arnold Beckmann |
| 2002 | Resource Tableaux. Didier Galmiche, Daniel Méry, David J. Pym |
| 2002 | Solving Pushdown Games with a Sigma Thierry Cachat, Jacques Duparc, Wolfgang Thomas |
| 2002 | The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. Antonín Kucera, Jan Strejcek |
| 2002 | Trading Probability for Fairness. Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
| 2002 | Travelling on Designs. Claudia Faggian |
| 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 | µ-Calculus via Games. Damian Niwinski |