Electronic Notes in Theoretical Computer Science, Volume 216

Volume 216, July 2008

• Rachid Echahed:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Murdoch Gabbay, Michael Gabbay:
  a-Logic With Arrows. 3-29
  Electronic Edition (link) BibTeX
• Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi:
  Computational Origami Construction as Constraint Solving and Rewriting. 31-44
  Electronic Edition (link) BibTeX
• Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen:
  Inferring Static Non-monotone Size-aware Types Through Testing. 45-63
  Electronic Edition (link) BibTeX
• Wolfgang Lux:
  Declarative Debugging Meets the World. 65-77
  Electronic Edition (link) BibTeX
• Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
  A New Proposal for Debugging Datalog Programs. 79-92
  Electronic Edition (link) BibTeX
• Michele Baggi, Demis Ballis:
  Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. 93-109
  Electronic Edition (link) BibTeX
• Bernd Braßel, Sebastian Fischer, Frank Huch:
  Declaring Numbers. 111-124
  Electronic Edition (link) BibTeX