Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 21:00, 21 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
    The Decidability of Simultaneous Rigid E-Unification with One Variable
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 181-195
  2. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
    Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
    Theoretical Computer Science 243 (1/2): 167-184, 2000