Deciding Regular Grammar Logics with Converse Through First-Order Logic

✍ Scribed by Stéphane Demri; Hans De Nivelle

• Publisher: Springer Netherlands
• Year: 2005
• Tongue: English
• Weight: 726 KB
• Volume: 14
• Category: Article
• ISSN: 0925-8531
• DOI: 10.1007/s10849-005-5788-9