[ACM Press the twenty-fourth annual ACM symposium - Victoria, British Columbia, Canada (1992.05.04-1992.05.06)] Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92 - Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)
Safra, ShmuelYear:
1992
Language:
english
DOI:
10.1145/129712.129739
File:
PDF, 826 KB
english, 1992