Abstractions of Euler diagrams

Electronic Notes in Theoretical Computer Science

Volumn 134, Issue , 2005, Pages 77-101

  Fish, Andrew ^a   Flower, Jean ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Abstractions; Euler diagrams; Layout; Semantics

Indexed keywords

ABSTRACTING; ALGORITHMS; DATA STORAGE EQUIPMENT; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; SYNTACTICS;

ABSTRACTIONS; DIAGRAM LAYOUT; EULER DIAGRAMS; LAYOUT;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18844379967     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.021     Document Type: Conference Paper

References (17)

1. R. De Chiara, U. Erra, and V. Scarano VennFS: a Venn Diagram file manager Proc. of Information Visualisation 2003 IEEE Computer Society 120 126
2. R. De Chiara, U. Erra and V. Scarano. A system for Virtual Directories using Euler Diagrams. To appear in Proc. of Euler Diagrams, ENTCS, 2005
3. A. Fish, and J. Flower Investigating Reasoning with Constraint Diagrams Proc. of Visual Languages and Formal Methods 2004 2004 IEEE 53 67
4. A. Fish, J. Flower, and J. Howse A reading algorithm for constraint diagrams Proc. of Human Centric Computing, Languages and Environments 2003 2003 IEEE 161 168
5. A. Fish, J. Flower and J. Howse. The semantics of augmented constraint diagrams. To appear in Journal of Visual Languages & Computing, 2005
6. J. Flower, and J. Howse Generating Euler diagrams Proc. of Diagrams 2002 LNAI 2317 2002 Springer-Verlag 61 75
7. E. Hammer Logic and Visual Information 1995 CSLI Publications
8. J. Howse, F. Molina, S.-J. Shin, and J. Taylor On diagram tokens and types Proc. of Diagrams 2002 LNAI 2317 2002 Springer-Verlag 76 90
9. J. Howse and S. Schumann. Precise Visual Modelling. To appear in Software & Systems Modelling, 2005
10. J. Howse, G. Stapleton, J. Flower, and J. Taylor Corresponding regions in Euler diagrams Proc. of Diagrams 2002 2002 Springer-Verlag 146 160
11. J. Flower and G. Stapleton. Automated Theorem Proving with Spider Diagrams. In CATS '04, pages 116-132, ENTCS
12. P. Rodgers, P. Mutton, and J. Flower Dynamic drawing of Euler diagrams IEEE Symp. on Visual languages and human-centric computing 2004 IEEE 147 156
13. S.-J. Shin The logical status of diagrams 1994 CUP
14. N. Swoboda, and G. Allwein Using DAG Transformations to Verify Euler/ Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference Journal of Software & System Modeling 3 2 2004 136 149
15. N. Swoboda Implementing Euler/Venn Reasoning Systems M. Anderson B. Meyer P. Olivier Diagrammatic Representation and Reasoning 2002 Springer-Verlag 371 386
16. A. Verroust, and M.-L. Viaud Ensuring the drawability of extended Euler diagrams for up to 8 sets Proc. of Diagrams 2004 2004 Springer-Verlag 128 141
17. D. Winterstein, A. Bundy, C. Gurr, and M. Jamnik Using animation in diagrammatic theorem proving Proc. of Diagrams 2002 LNAI 2317 2002 Springer-Verlag 46 60