E-Unification Related Problems Yuri Gurevich and Andrei Voronkov EECS...  Home/Search
Context
Related
| microsoft.com/~gurevich/Oper...128a.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: microsoft.com/~gurevi...annotated (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the monadic case of a decision problem knowas simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem. (Update)
Similar documents (at the sentence level):
53.9%: Monadic Simultaneous Rigid E-Unification and Related Problems - Gurevich, Voronkov (1997) (Correct)
5.8%: Rigid Variables Considered Harmful - Voronkov (1997) (Correct)
Active bibliography (related documents): More All
0.4: The Decidability of Simultaneous Rigid E-Unification with One .. - Degtyarev, al. (1997) (Correct)
0.4: Some Undecidable Problems Related to the Herbrand Theorem - Gurevich, Veanes (1997) (Correct)
0.3: On Computational Complexity of Basic Decision Problems of Finite.. - Veanes (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ problems-monadic,
author = "Unification Related Problems",
title = "Monadic Simultaneous Rigid",
url = "citeseer.ist.psu.edu/755013.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
105 The problem of solvability of equations in free semigroups (context) - Makanin - 1981
80 Finite automata (context) - Perrin - 1990
66 Complexity of finitely presented algebras (context) - Kozen - 1977
56 Lower bounds for natural proof systems (context) - Kozen - 1977
41 An algorithm for reasoning about equality (context) - Shostak - 1978
25 The undecidability of simultaneous rigid E- unification - Degtyarev, Voronkov - 1996
19 Special cases and substitutes for rigid E-unification - Plaisted - 1995
14 Makanin's algorithm: Two improvements and a generalization (context) - Schulz - 1990
12 unifica- tion and related algorithmic problems (context) - Degtyarev, Matiyasevich et al. - 1996
10 Uniform representation of recursively enumerable sets with s.. - Veanes - 1996
9 Herbrand's theorem and equational reasoning: Problems and so.. - Degtyarev, Gurevich et al. - 1996
6 Monadic simultaneous rigid E-unification and related problem.. - Gurevich, Voronkov - 1997
3 Complexity of unification in free groups and free semigroups (context) - Ko'scielski, Pacholski - 1990
1 Journal of the Association for Computing Machinery (context) - Ko'scielski, Pacholski - 1996
1 unification with one variable (context) - Degtyarev, Gurevich et al. - 1997
Documents on the same site (http://research.microsoft.com/~gurevich/annotated.html): More
UsingAbstra Star Ma hinesa Microsoft: ACa Study.. - Yuri Gurevich Wolfram (Correct)
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah (2003) (Correct)
The Results - One Of The (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC