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
PaL Diagrams: a linear diagram-based visual language
Peter Chapman
, Gem Stapleton
, Peter Rodgers
University of Brighton
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'PaL Diagrams: a linear diagram-based visual language'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Visual Language
100%
Line Diagram
100%
Linear Graphs
100%
Euler Diagrams
75%
Monadic First-order Logic
50%
Spider Diagram
25%
First-order Logic with Equality
25%
Venn Diagram
25%
Set-based
25%
Proof Techniques
25%
Corpus of Knowledge
25%
Formal Aspects
25%
Formal Foundations
25%
Computer Science
Visual Language
100%
Venn Diagram
50%
Formalization
50%
Medicine and Dentistry
Amoxicillin
100%