© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Euler diagram-based notations
John Howse, Richard Bosworth, Andrew Fish, Gem Stapleton, John Taylor, Peter Rodgers, and Simon Thompson
Technical report, University of Brighton, School of Computing, Mathematical and Information Sciences, January 2006.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.
Download publication 442 kbytes (PDF)Bibtex Record
@techreport{2972, author = {John Howse and Richard Bosworth and Andrew Fish and Gem Stapleton and John Taylor and Peter Rodgers and Simon Thompson}, title = {{Euler diagram-based notations}}, month = {January}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2972}, publication_type = {techreport}, submission_id = {13420_1263123923}, institution = {University of Brighton, School of Computing, Mathematical and Information Sciences}, }