Alternating Finite Automata on omega-Words

Satoru Miyano, Takeshi Hayashi. Alternating Finite Automata on omega-Words. Theoretical Computer Science, 32:321-330, 1984.

Abstract

Abstract is missing.