Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A. Decidability and complexity of simultaneous rigid E-unification with one variable and related results. (English) Zbl 0944.68103 Theor. Comput. Sci. 243, No. 1-2, 167-184 (2000). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Degtyarev} et al., Theor. Comput. Sci. 243, No. 1--2, 167--184 (2000; Zbl 0944.68103) Full Text: DOI
Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei The decidability of simultaneous rigid \(E\)-unification with one variable. (English) Zbl 0903.03007 Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 181-195 (1998). MSC: 03B25 03B20 03B35 68Q42 68Q25 PDFBibTeX XMLCite \textit{A. Degtyarev} et al., Lect. Notes Comput. Sci. 1379, 181--195 (1998; Zbl 0903.03007)