| 2002 | 9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002 Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler |
| 2002 | A Branching Time Logical System for Open Distributed Systems Development. Carlos H. C. Duarte, T. S. E. Maibaum |
| 2002 | A Completeness Result for Relation Algebra with Binders. Renata P. de Freitas, Jorge Petrucio Viana |
| 2002 | A Logic for Ambiguous Description. Arthur Buchsbaum |
| 2002 | A logical approach to A-Prolog. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
| 2002 | Comparing Calculi of Explicit Substitutions with Eta-reduction. Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine |
| 2002 | Computable Queries for Object Oriented Databases. Klaus-Dieter Schewe, Jose Maria Turull Torres |
| 2002 | Continuous Domains and their Information System Representation as Logical Systems. Benjamín René Callejas Bedregal, Ivanosca Andrade da Silva |
| 2002 | Deciding low levels of tree-automata hierarchy. Igor Walukiewicz |
| 2002 | Definability in o-minimal expansions of the real numbers. Ricardo Bianconi |
| 2002 | Dynamic Semantics of Plurals DPLQ*. Norihiro Ogata |
| 2002 | Model Checking Games. Erich Grädel |
| 2002 | Non Truth-Functional Many-Valuedness. Jean-Yves Béziau |
| 2002 | On automating the extraction of programs from proofs using product types. Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón |
| 2002 | On sparseness and Turing reducibility over the reals. Felipe Cucker |
| 2002 | Preface: WoLLIC 2002 Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler |
| 2002 | Rank-Based Symbolic Bisimulation (and Model Checking). Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2002 | Requirements, specifications, and minimal refinement. Nikos Gorogiannis, Mark Ryan |
| 2002 | States of Knowledge. Rohit Parikh |
| 2002 | Studying provability in implicational intuitionistic logic the formula tree approach. Sabine Broda, Luís Damas |
| 2002 | The Logic of Risky Knowledge. Henry E. Kyburg Jr., Choh Man Teng |
| 2002 | The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. Gopalan Nadathur |