The Decidability of Simultaneous Rigid ::::E::::-Unification with One Variable

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. The Decidability of Simultaneous Rigid ::::E::::-Unification with One Variable. In Tobias Nipkow, editor, Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Volume 1379 of Lecture Notes in Computer Science, pages 181-195, Springer, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.