Skip to main content

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) (KAR id:65293)

PDF Author's Accepted Manuscript
Language: English
Download (413kB) Preview
[thumbnail of edbn.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Peter Rodgers
Date Deposited: 12 Dec 2017 12:21 UTC
Last Modified: 16 Feb 2021 13:51 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65293 (The current URI for this page, for reference purposes)
Rodgers, Peter: https://orcid.org/0000-0002-4100-3596
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):

Downloads

Downloads per month over past year