Research Output per year

## Fingerprint Dive into the research topics where John Taylor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- 2 Similar Profiles

Diagram
Mathematics

Spiders
Mathematics

Semantics
Engineering & Materials Science

Syntactics
Engineering & Materials Science

Euler
Mathematics

Unified Modeling Language
Engineering & Materials Science

Expressiveness
Mathematics

Visual languages
Engineering & Materials Science

## Research Output 2001 2014

## A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Dec 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 935-944 10 p.Research output: Contribution to journal › Article

Spiders

Normal Form

Diagram

Reasoning

Logic

## Equivalences in Euler-based diagram systems through normal forms

Fish, A. & Taylor, J., 29 Sep 2014, In : LMS Journal of Computation and Mathematics. 17, 1, p. 431-484 54 p.Research output: Contribution to journal › Article

Open Access

File

Redundancy

Syntactics

Semantics

Visualization

Conveying

## On the expressiveness of spider diagrams and commutative star-free regular languages

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 27 Feb 2013, In : Journal of Visual Languages and Computing. 24, 4, p. 273-288 16 p.Research output: Contribution to journal › Article

Spiders

Regular Languages

Expressiveness

Star

Diagram

## Fragments of spider diagrams of order and their relative expressiveness

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Jan 2010,*Proceedings of the 6th international conference on diagrammatic representation and inference.*Berlin Heidelberg: Springer-Verlag, Vol. 6170. p. 69-83 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN

Syntactics

Sugars

Redundancy

Semantics

## Discrete mathematics: Proofs, structures and applications (3rd Edition)

Garner, R. & Taylor, J., 9 Nov 2009, Taylor & Francis. 821 p.Research output: Book/Report › Book - authored

Discrete mathematics

Progression

Updating

Computer Science

Philosophy