Semigroups presented by one relation and satisfying the Church-Rosser property
From MaRDI portal
Publication:1274007
DOI10.1007/BF02355010zbMath0929.68075MaRDI QIDQ1274007
Publication date: 11 January 1999
Published in: Mathematical Notes (Search for Journal in Brave)
20M05: Free semigroups, generators and relations, word problems
68Q42: Grammars and rewriting systems
Related Items
Cites Work
- Conjugacy in monoids with a special Church-Rosser presentation is decidable
- About the descriptive power of certain classes of finite string-rewriting systems
- Thue systems as rewriting systems
- On the geometry of semigroup presentations
- On the divisibility problem for one-relator monoids
- The word problem for one-relator semigroups
- A note on thue systems with a single defining relation
- A note on special thue systems with a single defining relation
- Unnamed Item
- Unnamed Item
- Unnamed Item