Generalized Model-Checking over Locally Tree-Decomposable Classes

✍ Scribed by Markus Frick

• Publisher: Springer
• Year: 2004
• Tongue: English
• Weight: 520 KB
• Volume: 37
• Category: Article
• ISSN: 1433-0490
• DOI: 10.1007/s00224-003-1111-9