Local temporal logic is expressively complete for cograph dependence alphabets

✍ Scribed by Volker Diekert; Paul Gastin

• Book ID: 113641537
• Publisher: Elsevier Science
• Year: 2004
• Tongue: English
• Weight: 306 KB
• Volume: 195
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2004.08.001