Skip to main navigation
Skip to search
Skip to main content
The UWS Academic Portal Home
Help & FAQ
Link opens in a new tab
Search content at The UWS Academic Portal
Home
Profiles
Research units
Research output
Activities
Press/Media
Projects
Prizes
Finite Representations in Relation Algebra
Jas Semrl
*
*
Corresponding author for this work
Research output
:
Thesis
›
Doctoral Thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Finite Representations in Relation Algebra'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Relational Structure
75%
Temporal Reasoning
75%
Formal Verification
75%
Regular Languages
75%
Representation-finite
75%
Finite Axiomatizability
75%
Undecidability
75%
Language Equivalence
75%
Heyting
75%
Computer Science
Regular Language
100%
Relational Structure
100%
Sequent Calculus
100%
Formal Verification
100%
Mathematics
Undecidability
100%
Decidability
100%