The decidability of simultaneous rigid E-unification with one variable
| Author(s) : | Andrei Voronkov Margus Veanes Yuri Gurevich Anatoli Degtyarev, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | Abstract. We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the 8, |