The ∃*∀* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable

✍ Scribed by Jerzy Marcinkowski

• Book ID: 112252720
• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 96 KB
• Volume: 178
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1006/inco.2002.3145