BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (10)
semi (7)
word (5)
problem (5)
mors (3)

Stem thue$ (all stems)

12 papers:

AFLAFL-2014-DuS #infinity #similarity #word
Similarity density of the Thue-Morse word with overlap-free infinite binary words (CFD, JS), pp. 231–245.
DLTDLT-J-2004-Rampersad05 #morphism #word
Words avoiding 7/3-powers and the thue-morse morphism (NR), pp. 755–766.
RTARTA-2005-MoczydlowskiG #termination #thread
Termination of Single-Threaded One-Rule Semi-Thue Systems (WM, AG), pp. 338–352.
DLTDLT-2004-Rampersad #morphism #word
Words Avoiding 7/3-Powers and the Thue-Morse Morphism (NR), pp. 357–367.
RTARTA-2000-Lohrey #confluence #problem #strict #word
Word Problems and Confluence Problems for Restricted Semi-Thue Systems (ML), pp. 172–186.
LICSLICS-1996-MatiyasevichS #problem
Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
RTARTA-1996-Senizergues #on the #problem #termination
On the Termination Problem for One-Rule Semi-Thue System (GS), pp. 302–316.
RTARTA-1995-Senizergues #algorithm #confluence #polynomial #testing
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems (GS), pp. 194–209.
RTARTA-1993-Senizergues #decidability #problem #termination
Some Undecidable Termination Problems for Semi-Thue Systems (Abstract) (GS), p. 434.
ICALPICALP-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.
RTARTA-1985-Book #term rewriting
Thue Systems as Rewriting Systems (RVB), pp. 63–94.
RTARTA-1985-Otto #algebra #finite #monad
Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.