×

Found 2 Documents (Results 1–2)

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field