Termination modulo equations by abstract commutation with an application to iteration
DSpace/Manakin Repository
Termination modulo equations by abstract commutation with an application to iteration
Fokkink, W.J.; Zantema, H.
(1996) Logic Group Preprint Series, volume 153
(Preprint)
Abstract
We generalize a termination theorem in term rewriting, based on an abstract
commutation technique, to rewriting modulo equations. This result is applied
in the setting of process algebra with iteration. show less