On the word problem for single relation monoids with an unbordered relator

International Journal of Algebra and Computation

Volumn 7, Issue 6, 1997, Pages 749-770

  Watier, Guillaume ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031325242     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218196797000332     Document Type: Article

References (10)

1. S. Adian, Defining relations and algorithmic problems for groups and semigroups, Trudy Math. Inst. Steklov, Akad. Nauk SSSR 85 (1966).
2. S. Adian, On transformations of words in semigroups presented by a system of defining relations, Algebra Logika 15, 6 (1976), 611-621.
3. S. Adian, To the decidability problem for one relator monoids, Mathem. Zametki 55, 1 (1994), 3-7.
4. S. Adian and G. Oganessian, On the problem of equality and divisibility in semigroups with one defining relation, Izv. Akad. Nauk SSSR, Ser. Mat. 42, 2 (1978), 207-212.
5. S. Adian and G. Oganessian, Problems of equality and divisibility in semigroups with a single defining relation, Mathem. Zametki 41 (1987), 412-421.
6. V. Guba, On the relationship between the word problem and the divisibility problems in one-relator semigroups, Russian Math. Izv. 61, 3 (1997), to appear.
7. G. Oganessian, On semigroups with one relation and semigroups without cycle, Izv. Akad. Nauk SSSR, Ser. Mat. 46, 1 (1982), 88-94.
8. O. Sarkisian, On identity and divisibility problems in semigroups and groups without cycles, Izv. Akad. Nauk SSSR, Ser. Mat. 45, 6 (1981), 1424-1441.
9. G. Sénizergues, On the termination-problem for one-rule semi-Thue systems, Proc. RTA '96, New-Brunswick, New-Jersey, USA, LNCS 1103 (1996), 302-316.
10. G. Watier, Left-divisibility and word problems in single relation monoids, Semigroup forum 53, 2 (1996), 194-207.