Weak alternating automata and tree automata emptiness

Orna Kupferman^*
, Moshe Y. Vardi

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

94 Scopus citations

Sort by

Keyphrases

Computer Science