Termination of extended string rewriting

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
RedacteurenA. Geser, H. Sondergaard
Pagina's44-48
StatusGepubliceerd - 2006

Vingerafdruk Duik in de onderzoeksthema's van 'Termination of extended string rewriting'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Zantema, H. (2006). Termination of extended string rewriting. In A. Geser, & H. Sondergaard (editors), Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006) (blz. 44-48)