Searching for "Monadic Simultaneous Rigid E-unification." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Monadic simultaneous rigid E-unification and related problems
- …Monadic Simultaneous Rigid E-Unification and Related Problems Yuri Gurevich 1? and Andrei…
- Cited by 7 (1 self) – Add To MetaCart
-
Simultaneous Rigid E-Unification and Related Algorithmic Problems
- … fragments. We prove decidability results for fragments of monadic simultaneous rigid E-unification and show…
- Cited by 1 (0 self) – Add To MetaCart
-
Simultaneous Rigid E-Unification is not so Simple
- … solving (unification under associativity) is reduced to the monadic case of simultaneous rigid E-unification…
- Add To MetaCart
-
Monadic Simultaneous Rigid
- …Monadic Simultaneous Rigid E-Unification and Related Problems Yuri Gurevich 1? and Andrei…
- Add To MetaCart
-
The Undecidability of Simultaneous Rigid E-Unification
- …. The word equation problem is polynomially reducible to monadic simultaneous rigid E-unification [8]. 6…
- Cited by 13 (7 self) – Add To MetaCart
-
Simultaneous Rigid E-Unification is Undecidable
- … that simultaneous rigid E-unification is undecidable. The proof is by reduction of so called monadic semi-unification…
- Cited by 18 (9 self) – Add To MetaCart
-
Sixth Automated Reasoning Workshop: Bridging the Gap between Theory and Practice
- …. Gurevich and A. Voronkov. Monadic simultaneous rigid E-unification and related problems. In P. Degano, R…
- Add To MetaCart
-
unknown title
- …' result to monadic simultaneous Rigid E-Unification [6]; the use of regular constraints in [5] as a basic…
- Add To MetaCart
Showing 1 through 8.
