Tree automata, mu-calculus and determinacy

Annual Symposium on Foundations of Computer Science (Proceedings)

Volumn , Issue , 1991, Pages 368-377

  Emerson, E A ^a   Jutla, C S ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; MATHEMATICAL TECHNIQUES - TREES; PROBABILITY - GAME THEORY;

DETERMINACY; INFINITE GAMES; INFINITE TREES; MU-CALCULUS; ONLINE ALGORITHMS; TREE AUTOMATA;

AUTOMATA THEORY;

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

References (28)