Undecidability of ground reducibility for word rewriting systems with variables

✍ Scribed by Gregory Kucherov; Michaël Rusinowitch

• Book ID: 103104016
• Publisher: Elsevier Science
• Year: 1995
• Tongue: English
• Weight: 524 KB
• Volume: 53
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(94)00188-5