12 papers:
AFL-2014-DuS #infinity #similarity #word- Similarity density of the Thue-Morse word with overlap-free infinite binary words (CFD, JS), pp. 231–245.
DLT-J-2004-Rampersad05 #morphism #word- Words avoiding 7/3-powers and the thue-morse morphism (NR), pp. 755–766.
RTA-2005-MoczydlowskiG #termination #thread- Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
- DLT-2004-Rampersad #morphism #word
- Words Avoiding 7/3-Powers and the Thue-Morse Morphism (NR), pp. 357–367.
- RTA-2000-Lohrey #confluence #problem #strict #word
- Word Problems and Confluence Problems for Restricted Semi-Thue Systems (ML), pp. 172–186.
LICS-1996-MatiyasevichS #problem- Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
- RTA-1996-Senizergues #on the #problem #termination
- On the Termination Problem for One-Rule Semi-Thue System (GS), pp. 302–316.
- RTA-1995-Senizergues #algorithm #confluence #polynomial #testing
- A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems (GS), pp. 194–209.
- RTA-1993-Senizergues #decidability #problem #termination
- Some Undecidable Termination Problems for Semi-Thue Systems (Abstract) (GS), p. 434.
ICALP-1988-Diekert #commutative #for free #monad #transitive- Transitive Orientations, Möbius Functions, and Complete Semi-Thue Systems for Free Partially Commutative Monoids (VD), pp. 176–187.
- RTA-1985-Book #term rewriting
- Thue Systems as Rewriting Systems (RVB), pp. 63–94.
- RTA-1985-Otto #algebra #finite #monad
- Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.
