Toupie: The µ-calculus over Finite Domains as a Constraint Language

✍ Scribed by Marc-Michel Corsini; Antoine Rauzy

• Book ID: 110228695
• Publisher: Springer Netherlands
• Year: 1997
• Tongue: English
• Weight: 269 KB
• Volume: 19
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1005732517165