Weak alternating automata and tree automata emptiness

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1998, Pages 224-233

  Kupferman, Orna ^a   Vardi, Moshe Y ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; SET THEORY; TREES (MATHEMATICS);

AUTOMATA EMPTINESS; WEAK ALTERNATING AUTOMATA;

AUTOMATA THEORY;

EID: 0031643579     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/276698.276748     Document Type: Conference Paper

References (36)