Simultaneous E-Unification and Related Algorithmic Problems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov. Simultaneous E-Unification and Related Algorithmic Problems. In LICS. pages 494-502, 1996.

The following publications are possibly variants of this publication:

Monadic Simultaneous Rigid E-Unification and Related ProblemsYuri Gurevich, Andrei Voronkov. icalp 1997: 154-165

Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand TheoremAndrei Voronkov. TCS, 224(1-2):319-352, 1999. [doi]

Decidability and complexity of simultaneous rigid E-unification with one variable and related resultsAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov. TCS, 243(1-2):167-184, 2000. [doi]

runs on WebDSL