DECIDABLE MU-CALCULUS: PRELIMINARY REPORT.

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1981, Pages 421-427

  Pratt, V R ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE AUTOMATA; MINIMIZATION OPERATOR; PROPOSITIONAL DYNAMIC LOGIC (PPL); SYNTAX AND SEMANTICS OF MU-CALCULUS; TESTING FOR MU-CALCULUS TERM SATISFIABILITY;

COMPUTER METATHEORY;

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

References (0)