SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

International Journal of Algebra and Computation

Volumn 12, Issue 1-2, 2002, Pages 1-7

A note on the existential theory of equations in plain groups

(2) Diekert, Volker a Lohrey, Markus a

a UNIVERSITY OF STUTTGART (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036335490 PISSN: 02181967 EISSN: None Source Type: Journal
DOI: 10.1142/s0218196702000870 Document Type: Conference Paper

Times cited : (4)

References (18)

1
- 0003736084
- Springer
- (1993) String-Rewriting Systems
- Book, R.¹ Otto, F.²

2
- 0009915052
- Colloquia Mathematica Societatis János Bolyai
- (1976) Church-Rosser congruences on free semigroups , vol.20 , pp. 51-60
- Cochet, Y.¹

3
- 4344714195
- Makanin's algorithm
- M. Lothaire, Cambridge University Press
- (2001) Algebraic Combinatorics on Words
- Diekert, V.¹

4
- 84957080926
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- eds. A. Ferreira and H. Reichel, Proc. 18th STACS, Dresden, Springer
- (2001) Lecture Notes in Computer Science , vol.2010 , pp. 170-182
- Diekert, V.¹ Gutiérrez, C.² Hagenah, C.³

5
- 84860787744
- Solvability of equations in free partially commutative groups is decidable
- Proc. 28th Int. Colloq. Automata, Languages Programming (ICALP'01), Berlin, Heidelberg, New York, Springer
- (2001) Lecture Notes in Computer Science
- Diekert, V.¹ Muscholl, A.²

6
- 38249035771
- Graph groups, coherence and three-manifolds
- (1985) J. Algebra , vol.106 , Issue.2 , pp. 484-489
- Droms, C.¹

7
- 0003848050
- Jones and Bartlett, Boston
- (1992) Word Processing in Groups
- Epstein, D.B.A.¹ Cannon, J.W.² Holt, D.F.³ Levy, S.V.F.⁴ Paterson, M.S.⁵ Thurston, W.P.⁶

8
- 0003195390
- Hyperbolic groups
- ed. S. M. Gersten, MSRI Publication No. 8, Springer
- (1987) Essays in Group Theory , pp. 75-263
- Gromov, M.¹

9
- 0032314322
- Satisfiability of word equations with constants is in exponential space
- Los Alamitos, California, IEEE Computer Society Press
- (1998) Proc. 39th Ann. Symp. Found. Comput. Sci., FOCS'98 , pp. 112-119
- Gutiérrez, C.¹

10
- 0033715836
- Satisfiability of equations in free groups is in PSPACE
- ACM Press
- (2000) 32nd Ann. ACM Symp. Theory Comput. (STOC'2000)
- Gutiérrez, C.¹

11
- 84967728257
- Groups and simple languages
- (1983) Trans. Amer. Math. Soc. , vol.279 , pp. 337-356
- Hating-Smith, R.H.¹

12
- 0003350066
- Confluent string rewriting
- Springer
- (1988) EATCS Monogr. Theor. Comput. Sci. , vol.14
- Jantzen, M.¹

13
- 0025567228
- Complexity of unification in free groups and free semigroups
- Los Alamitos, IEEE Computer Society Press
- (1990) Proc. 31st Ann. Symp. Found. Comput. Sci. , vol.2 , pp. 824-829
- Kościelski, A.¹ Pacholski, L.²

14
- 0000240765
- The problem of solvability of equations in a free semi-group
- English translations in Math. USSR Sbornik 32 (1977)
- (1977) Math. Sbornik , vol.103 , pp. 147-236
- Makanin, G.S.¹

15
- 0000311242
- Equations in a free group
- Izv. Akad. Nauk SSR, English translations in Math. USSR Izv. 21 (1983)
- (1983) Ser. Math. , vol.46 , pp. 1199-1273
- Makanin, G.S.¹

16
- 0346126178
- The word matching problem is undecidable for finite special string-rewriting systems that are confluent
- eds. P. Degano, R. Gorrieri and A. Marchetti-Spaccamela, Proc. 24th Int. Colloq. Automata, Languages Programming (ICALP'97), Springer
- (1997) Lecture Notes in Computer Science , vol.1256 , pp. 638-648
- Narendran, P.¹ Otto, F.²

17
- 0033326404
- Satisfiability of word equations with constants is in PSPACE
- IEEE Computer Society Press
- (1999) Proc. 40th Ann. Symp. Found. Comput. Sci. (FOCS'99) , pp. 495-500
- Plandowski, W.¹

18
- 0001126708
- Canonical representatives and equations in hyperbolic groups
- (1995) Invent. Math. , vol.120 , pp. 489-512
- Rips, E.¹ Sela, Z.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.