Termination of extended string rewriting

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)


We extend string rewriting in such a way that in the rules also variables may occur that may be replaced by arbitrary strings. This is a natural format occurring in text editing and pattern matching. We investigate termination behaviour of these extended string rewriting systems.
Original languageEnglish
Title of host publicationProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
EditorsA. Geser, H. Sondergaard
Publication statusPublished - 2006


Dive into the research topics of 'Termination of extended string rewriting'. Together they form a unique fingerprint.

Cite this