John Taylor

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Relational Algebra

Top Venues

LMS J. Comput. Math.

J. Vis. Lang. Comput.

Publications

Andrew Fish, John Taylor
Equivalences in Euler-based diagram systems through normal forms. LMS J. Comput. Math. 17 (1) (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
A Normal Form for Spider Diagrams of Order. DMS (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
A normal form for spider diagrams of order. J. Vis. Lang. Comput. 25 (6) (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. 24 (4) (2013)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams (2010)
Gem Stapleton, John Taylor, Simon J. Thompson, John Howse
The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20 (1) (2009)
Aidan J. Delaney, John Taylor, Simon J. Thompson
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams (2008)
Andrew Fish, Chris John, John Taylor
A Normal Form for Euler Diagrams with Shading. Diagrams (2008)
Gem Stapleton, Peter Rodgers, John Howse, John Taylor
Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Chris John, Andrew Fish, John Howse, John Taylor
Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams (2006)
Gem Stapleton, John Howse, John Taylor
A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15 (6) (2005)
Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor
A New Language for the Visualization of Logic and Reasoning. DMS (2005)
John Howse, Gem Stapleton, John Taylor
Spider Diagrams. LMS J. Comput. Math. 8 (2005)
Jean Flower, John Howse, John Taylor
Nesting in Euler Diagrams: syntax, semantics and construction. Softw. Syst. Model. 3 (1) (2004)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
What Can Spider Diagrams Say? Diagrams (2004)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
The Expressiveness of Spider Diagrams. J. Log. Comput. 14 (6) (2004)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC (2004)
Jean Flower, John Howse, John Taylor
Nesting in Euler Diagrams. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
John Howse, Fernando Molina, Sun-Joo Shin, John Taylor
On Diagram Tokens and Types. Diagrams (2002)
Jean Flower, John Howse, John Taylor, Stuart Kent
A Visual Framework for Modelling with Heterogeneous Notations. HCC (2002)
John Howse, Gemma Stapleton, Jean Flower, John Taylor
Corresponding Regions in Euler Diagrams. Diagrams (2002)
John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. 12 (3) (2001)
John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
Type-syntax and token-syntax in diagrammatic systems. FOIS (2001)
John Howse, Fernando Molina, John Taylor
On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams (2000)
John Howse, Fernando Molina, John Taylor
SD2: A Sound and Complete Diagrammatic Reasoning System. VL (2000)
John Howse, Fernando Molina, John Taylor
A Sound and Complete Diagrammatic Reasoning System. Artificial Intelligence and Soft Computing (2000)
Joseph Gil, John Howse, Stuart Kent, John Taylor
Projections in Venn-Euler Diagrams. VL (2000)
John Howse, Fernando Molina, John Taylor, Stuart Kent
Reasoning with Spider Diagrams. VL (1999)