Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Search content at The University of Brighton
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
A normal form for spider diagrams of order
Aidan Delaney
, Gem Stapleton
, John Taylor
, Simon Thompson
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A normal form for spider diagrams of order'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Reasoning System
100%
Spider Diagram
100%
Visual Logic
50%
Euler Diagrams
25%
Linear Temporal Logic
25%
Algorithm-based
25%
Computer Science
Reasoning System
100%
Proving Completeness
25%
Linear Temporal Logic
25%