Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition

✍ Scribed by Safra, Shmuel

• Book ID: 118181387
• Publisher: Society for Industrial and Applied Mathematics
• Year: 2006
• Tongue: English
• Weight: 166 KB
• Volume: 36
• Category: Article
• ISSN: 0097-5397
• DOI: 10.1137/s0097539798332518