SCOPUS 정보 검색 플랫폼

RAIRO - Theoretical Informatics and Applications

Volumn 34, Issue 6, 2000, Pages 467-501

Two-variable word equations

(2) Ilie, L a Plandowski, W a,b

a TURKU CENTRE FOR COMPUTER SCIENCE (Finland)

b UNIVERSITY OF WARSAW (Poland)

Author keywords

Complexity function; Expressible language; Minimal solution; Solvability; Word equation

Indexed keywords

ALGORITHMIC LANGUAGES; BOUNDARY CONDITIONS; COMPUTATIONAL COMPLEXITY; FUNCTIONS; GRAPH THEORY; LINEAR EQUATIONS; LINEARIZATION; OPTIMIZATION; PARAMETER ESTIMATION; SET THEORY; THEOREM PROVING;

CHARATONIK ALGORITHM; CONSTANT COMPLEXITY; DIOPHANTINE EQUATIONS; EXPONENTIAL COMPLEXITY; LINEAR COMPLEXITY; LINEAR UPPER BOUNDS; OPTIMAL UPPER BOUNDS; PACHOLSKI ALGORITHM; TWO VARIABLE WORD EQUATIONS;

INFORMATION THEORY;

EID: 17844381851 PISSN: 09883754 EISSN: 28047346 Source Type: Journal
DOI: 10.1051/ita:2000126 Document Type: Article

Times cited : (21)

References (16)

1
- 71049171650
- Finding patterns common to a set of strings
- (1980) J. Comput. System Sci. , vol.21 , pp. 46-62
- Angluin, D.¹

2
- 0003150114
- Recent results in Sturmian words
- edited by J. Dassow, G. Rozenberg and A. Salomaa; World Sci. Publishing
- (1996) Developments in Language Theory II , pp. 13-24
- Berstel, J.¹

3
- 85028883292
- Word equations with two variables
- in Proc. of IWWERT'91, edited by H. Abdulrab and J.P. Pecuchet. Springer, Berlin
- (1991) Lecture Notes in Comput. Sci. , vol.667 , pp. 43-57
- Charatonik, W.¹ Pacholski, L.²

4
- 0000767970
- Combinatorics of words
- edited by G. Rozenberg and A. Salomaa; Springer, Berlin
- (1997) Handbook of Formal Languages , pp. 329-438
- Choffrut, C.¹ Karhumäki, J.²

5
- 0028740618
- Some combinatorial properties of sturmian words
- (1994) Theoret. Comput. Sci. , vol.136 , pp. 361-385
- De Luca, A.¹ Mignosi, F.²

6
- 85027510574
- Efficient solving of the word equations in one variable
- (1994) Proc. of MFCS'94. Springer, Berlin, Lecture Notes in Comput. Sci. , vol.841 , pp. 336-341
- Eyono Obono, S.¹ Goralcik, P.² Maksimenko, M.³

7
- 0003356743
- Equations in free semigroups
- English transl. Proc Steklov Inst. of Mathematics 107 (1971). Amer. Math. Soc. (1976)
- (1971) Trudy Mat. Inst. Steklov , vol.107
- Hmelevskii, Y.I.¹

8
- 0029256402
- Decision problems for patterns
- (1995) J. Comput. System Sci. , vol.50 , pp. 53-63
- Jiang, T.¹ Salomaa, A.² Salomaa, K.³ Yu, S.⁴

9
- 84951044723
- The expressibility of languages and relations by word equations
- (1997) Proc. of ICALP'97. Springer, Berlin, Lecture Notes in Comput. Sci. , vol.1256 , pp. 98-109
- Karhumäki, J.¹ Mignosi, F.² Plandowski, W.³

10
- 0030197339
- Complexity of Makanin's algorithm
- (1996) J. ACM , vol.43 , pp. 670-684
- Koscielski, A.¹ Pacholski, L.²

11
- 0004157169
- Addison-Wesley, Reading, MA
- (1983) Combinatorics on Words
- Lothaire, M.¹

12
- 0000240765
- The problem of solvability of equations in a free semigroup
- English transl. in Math. U.S.S.R. Sb. 32 (1977)
- (1977) Mat. Sb. , vol.103 , pp. 147-233
- Makanin, G.S.¹

13
- 0000898769
- Mots infinis en arithmetique
- edited by M. Nivat and D. Perrin
- (1984) Automata on Infinite Words. Springer, Berlin, Lecture Notes in Comput. Sci. , vol.192
- Rauzy, G.¹

14
- 84950907378
- On systems of equations in a free group
- (1985) Math. USSR Izvestija , vol.25 , pp. 115-162
- Razborov, A.¹

15
- 0004340180
- On systems of equations in a free group
- Ph.D. Thesis, Moscow State University (1987)
- Razborov, A.¹

16
- 0004287962
- Elementary theory of numbers
- Elseviers Science Publishers B.V., Amsterdam, and PWN - Polish Scientific Publishers, Warszawa
- (1988)
- Sierpinski, W.¹

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