The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE

The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE—Complete

Published:2001 Issue: Volume: Page:170-182
ISSN:0302-9743
Container-title:STACS 2001
language:
Short-container-title:

Author:

Diekert Volker,Gutiérrez Claudio,Hagenah Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44693-1_15

Reference21 articles.

1. M. Benois. Parties rationelles du groupe libre. C. R. Acad. Sci. Paris, Sér. A, 269:1188–1190, 1969.

2. J. Berstel. Transductions and context-free languages. Teubner Studienbücher, Stuttgart, 1979.

3. V. Diekert. Makanin’s Algorithm. In M. Lothaire, Algebraic Combinatorics on Words. Cambridge University Press, 2001. To appear. A preliminary version is on the web: http://www-igm.univ-mlv.fr/~berstel/Lothaire/index.html .

4. V. Diekert and M. Lohrey. A note on the existential theory of plain groups. Submitted for publication, 2000.

5. V. Diekert, Yu. Matiyasevich, and A. Muscholl. Solving word equations modulo partial commutations. Th. Comp. Sc., 224:215–235, 1999. Special issue of LFCS’97.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Word Equations, Constraints, and Formal Languages;Lecture Notes in Computer Science;2024

2. The complexity of solution sets to equations in hyperbolic groups;Israel Journal of Mathematics;2021-10

3. Strings at MOSCA;ACM SIGLOG News;2019-11-25

4. Existential questions in (relatively) hyperbolic groups;Israel Journal of Mathematics;2009-09

5. Recognizing string graphs in NP;Journal of Computer and System Sciences;2003-09