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 this file (PDF/478kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
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 Nov 2021 10:24 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/65293 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Rodgers, Peter.
| Creator's ORCID: |
 https://orcid.org/0000-0002-4100-3596
|
|---|---|
| CReDIT Contributor Roles: |
Thompson, Simon.
| Creator's ORCID: |
https://orcid.org/0000-0002-2350-301X
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
