Resolution method for CTL branching-time temporal logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1997, Pages 20-27

  Bolotov, Alexander ^a   Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL METHODS; MATHEMATICAL OPERATORS; TREES (MATHEMATICS);

BRANCHING TIME TEMPORAL LOGICS; CAUSAL RESOLUTION METHODS; COMPUTATION TREE LOGIC (CTL);

FORMAL LOGIC;

EID: 0031315112     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)