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
Generalized constraint diagrams: the classical decision problem in a diagrammatic reasoning system
James Burton
University of Brighton
Research output
:
Thesis
›
Doctoral Thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Generalized constraint diagrams: the classical decision problem in a diagrammatic reasoning system'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Reasoning System
100%
Syntactics
100%
Software Model
100%
Diagram Notation
100%
Decision Problem
100%
Metatheory
100%
Connected Graph
100%
Time Constraint
100%
Keyphrases
Reasoning System
100%
Constraint Diagrams
100%
Generalized Constraints
100%
Decision Problems
100%
Euler Diagrams
14%
Metatheory
14%
Logic-based
14%
Visual Logic
14%
Formal Constraints
14%
Software Model
14%
Reading Order
14%
Diagram Notation
14%
Time Constraints
14%
Connected Graph
14%
Syntactic Features
14%