Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Clausal resolution for CTL
A. Bolotov,
C. Dixon
,
M. Fisher
Formal Methods
Research output
:
Book/Report
›
Book
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Clausal resolution for CTL'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Branching Time
100%
Temporal Logic
66%
Resolution Method
66%
Proof Technique
66%
Multi Agent Systems
33%
Considerable Amount
33%
Finite Automata
33%
Resolution Step
33%
Temporal Resolution
33%
linear time temporal logic
33%