Relating word and tree automata

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 322-332

  Kupferman, Orna ^a   Safra, Shmuel ^a   Vardi, Moshe Y ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; FORMAL LOGIC; THEOREM PROVING; TREES (MATHEMATICS);

BUCHI TREE AUTOMATA; BUCHI WORD AUTOMATA; DERIVED LANGUAGES; RABIN TREE AUTOMATA;

FINITE AUTOMATA;

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

References (27)