Termination modulo equations by abstract commutation with an application to iteration
Publication date
1996-01
Authors
Fokkink, W.J.
Zantema, H.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.