Relative termination in term rewriting

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

Samenvatting

We investigate • how current techniques for proving termination for term rewriting systems (TRSs) essentially use relative termination, although not always stated explicitly, • how using relative termination is helpful for proving termination in a modular way, • which techniques for proving termination easily extend to proving relative termination, • how for some applications relative termination is the natural underlying concept, justifying studying relative termination in itself.
Originele taal-2Engels
TitelProceedings 7th International Workshop on Termination (WST-04, Aachen, Germany, June 1-2, 2004), Aachener Informatik Berichte AIB-2004-07
RedacteurenM. Codish, A. Middelkoop
Plaats van productieAachen, Germany
UitgeverijRWTH
Pagina's51-54
StatusGepubliceerd - 2004

Citeer dit