EXPTIME-complete Decision Problems for Modal and Mixed Specifications

✍ Scribed by Adam Antonik; Michael Huth; Kim G. Larsen; Ulrik Nyman; Andrzej Wąsowski

• Book ID: 108127106
• Publisher: Elsevier Science
• Year: 2009
• Tongue: English
• Weight: 374 KB
• Volume: 242
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/j.entcs.2009.06.011