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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anatoli Degtyarev' in GoogleThis author has not been identified. It may be one of the following persons:

Yuri Gurevich

Look up 'Yuri Gurevich' in GoogleThis author has not been identified. Look up 'Paliath Narendran' in GoogleThis author has not been identified. Look up 'Margus Veanes' in GoogleIdentified as Andrei Voronkov

runs on WebDSL