Electronic Notes in Theoretical Computer Science, Volume 134

Volume 134, June 2005

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