Monadic simultaneous rigid E-unification

✍ Scribed by Yuri Gurevich; Andrei Voronkov

• Book ID: 104326522
• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 998 KB
• Volume: 222
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(98)00123-6

✦ Synopsis

We study the monadic case of a decision problem known as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem. (~