Nesting in Euler diagrams

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

Full text not available from this repository.

Abstract

This paper outlines the notion of nesting in Euler diagrams, and how nesting affects the interpretation and construction of such diagrams. After setting up the necessary definitions for Euler diagrams at concrete syntax and abstract levels, the notion of nestedness is introduced at the concrete level, then an equivalent notion is given at the abstract level. The natural progression to the diagram semantics is explored. In the final sections, we describe how this work supports tool-building for diagrams, and how effective we might expect this support to be in terms of the proportion of nested diagrams.

Item Type: Journal article
Uncontrolled Keywords: Euler diagrams
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1016/S1571-0661(04)80614-5
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 26 Nov 2007
Last Modified: 09 May 2013 03:00
URI: http://eprints.brighton.ac.uk/id/eprint/2221

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year