The μ-calculus alternation hierarchy collapses over structures with restricted connectivity

✍ Scribed by Gutierrez, Julian; Klaedtke, Felix; Lange, Martin

• Book ID: 122110969
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 855 KB
• Volume: 560
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2014.03.027