Nesting in Euler diagrams

Jean Flower, John Howse, John Taylor

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)93-102
Number of pages10
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 1 Feb 2003


  • Euler diagrams


Dive into the research topics of 'Nesting in Euler diagrams'. Together they form a unique fingerprint.

Cite this