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
On the expressiveness of second-order spider diagrams
Peter Chapman
, Gem Stapleton
, Aidan Delaney
University of Brighton
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On the expressiveness of second-order spider diagrams'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Common Property
14%
Diagrammatic Logic
14%
Diagrammatic Notation
28%
Euler Diagrams
14%
Expressive Power
14%
Expressiveness
100%
First-order Logic
14%
Monadic First-order Logic
14%
Monadic Second-order Logic
42%
Motivation
14%
Regular Expressions
28%
Spider Diagram
100%
Computer Science
Expressive Power
33%
Predicate Order
33%
Regular Expression
66%
Second-Order Logic
100%
Mathematics
Expressive Power
33%
Expressiveness
100%