Electronic Notes in Theoretical Computer Science, Volume 67

Volume 67, 2002

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