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