Theories of HNN-extensions and amalgamated products

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4052 LNCS, Issue , 2006, Pages 504-515

  Lohrey, Markus ^a   Sénizergues, Géraud ^b  

^a UNIVERSITY OF STUTTGART   (Germany)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FINITE AUTOMATA; NEURAL NETWORKS; PROBLEM SOLVING;

AMALGAMATED PRODUCTS; FINITE GROUP; HNN-EXTENSIONS; SUBGROUPS;

CONSTRAINT THEORY;

EID: 33746354638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_43     Document Type: Conference Paper

References (20)

1. W. Dicks and M. J. Dunwoody. Groups Acting on Graphs. Cambridge Univ. Press, 1989.
2. V. Diekert, C. Gutiérrez, and C. Hagenah. The existential theory of equations with rational constraints in free groups is PSPACE-complete. Inf. Comput., 202(2): 105-140, 2005.
3. V. Diekert and M. Lohrey. Word equations over graph products. In Proc. FSTTCS 2003, LNCS 2914, pages 156-167. Springer, 2003.
4. V. Diekert and M. Lohrey. Existential and positive theories of equations in graph products. Theory Comput. Syst., 37(1): 133-156, 2004.
5. V. Diekert and A. Muscholl. Solvability of equations in free partially commutative groups is decidable. Int. J. Algebra Comput., 2006. to appear.
6. V. G. Durnev. Undecidability of the positive ∀∃3- theory of a free semi-group. Sibirsky Matematicheskie Jurnal, 36(5): 1067-1080, 1995. English translation.
7. E. R. Green. Graph Products of Groups. PhD thesis, The University of Leeds, 1990.
8. B. Khan, A. G. Myasnikov, and D. E. Serbin. On positive theories of groups with regular free length function. Manuscript, 2005.
9. O. G. Kharlampovich and A. Myasnikov. Tarski's problem about the elementary theory of free groups has a positive solution. Electron. Res. Announc. AMS, 4(14): 101-108, 1998.
10. A. Koscielski and L. Pacholski. Makanin's algorithm is not primitive recursive. Theor. Comput. Sci., 191 (1-2): 145-156, 1998.
11. M. Lohrey and G. Sénizergues. Equations in HNN-extensions. Manuscript, 2006.
12. M. Lohrey and G. Sénizergues. Positive theories of HNN-extensions and amalgamated free products. Manuscript, 2006.
13. M. Lohrey and G. Sénizergues. Rational subsets of HNN-extensions. Manuscript, 2006.
14. R. C. Lyndon and P. E. Schupp. Combinatorial Group Theory. Springer, 1977.
15. G. S. Makanin. Equations in a free group. Math. USSR, Izu, 21:483-546, 1983. English translation.
16. G. S. Makanin. Decidability of the universal and positive theories of a free group. Math. USSR, Izu, 25:75-88, 1985. English translation.
17. Y. I. Merzlyakov. Positive formulas on free groups. Algebra i Logika Sem., 5(4):25-42, 1966. In Russian.
18. D. E. Muller and P. E. Schupp. Groups, the theory of ends, and context-free languages. J. Comput. Syst. Sci., 26:295-310, 1983.
19. W. Plandowski. Satisfiability of word equations with constants is in PSPACE. J. ACM, 51(3): 483-496, 2004.
20. E. Rips and Z. Sela. Canonical representatives and equations in hyperbolic groups. Invent. Math., 120:489-512, 1995.