Electronic Notes in Theoretical Computer Science, Volume 134

Volume 134, June 2005

• Peter Rodgers:
  Preface. 1
  Electronic Edition (link) BibTeX
• Stirling Chow, Frank Ruskey:
  Towards a General Solution to Drawing Area-Proportional Euler Diagrams. 3-18
  Electronic Edition (link) BibTeX
• Robin P. Clark:
  Failure Mode Modular De-Composition Using Spider Diagrams. 19-31
  Electronic Edition (link) BibTeX
• Rosario De Chiara, Mikael Hammar, Vittorio Scarano:
  A System for Virtual Directories Using Euler Diagrams. 33-53
  Electronic Edition (link) BibTeX
• Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally:
  Propositional Statecharts for Agent Interaction Protocols. 55-75
  Electronic Edition (link) BibTeX
• Andrew Fish, Jean Flower:
  Abstractions of Euler Diagrams. 77-101
  Electronic Edition (link) BibTeX
• Chris John:
  Measuring and Reducing Clutter in Euler Diagrams. 103-126
  Electronic Edition (link) BibTeX
• Gem Stapleton:
  A Survey of Reasoning Systems Based on Euler Diagrams. 127-151
  Electronic Edition (link) BibTeX
• Nik Swoboda, Gerard Allwein:
  Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. 153-187
  Electronic Edition (link) BibTeX
• Jérôme Thièvre, Marie-Luce Viaud, Anne Verroust-Blondet:
  Using Euler Diagrams in Traditional Library Environments. 189-202
  Electronic Edition (link) BibTeX