P Pecuchet
-
Exponential determinization for &ohgr;-automata with strong-fairness acceptance condition (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
The Büchi complementation saga
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science