Euler diagram-based notations

Howse, John and Bosworth, Richard and Fish, Andrew and Stapleton, Gem and Taylor, John and Rodgers, Peter and Thompson, Simon (2006) Euler diagram-based notations. N/A. (Unpublished) (Full text available)

PDF - Author's Accepted Manuscript
Download (413kB) Preview


Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we survey notations based on Euler diagrams with particular emphasis on formalization and the development of software tool support.

Item Type: Other
Uncontrolled keywords: Euler diagrams, Venn diagrams
Divisions: Faculties > Sciences > School of Computing > Computational Intelligence Group
Depositing User: Peter Rodgers
Date Deposited: 12 Dec 2017 12:21 UTC
Last Modified: 01 Jul 2018 04:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
Rodgers, Peter:
  • Depositors only (login required):


Downloads per month over past year