The reachability problem for branching vector addition systems requires doubly-exponential space

✍ Scribed by Ranko Lazić

• Book ID: 108154711
• Publisher: Elsevier Science
• Year: 2010
• Tongue: English
• Weight: 159 KB
• Volume: 110
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/j.ipl.2010.06.008