Sciweavers

CORR
2016
Springer

Termination of LCTRSs

7 years 12 months ago
Termination of LCTRSs
Logically Constrained Term Rewriting Systems (LCTRSs) provide a general framework for term rewriting with constraints. We discuss a simple dependency pair approach to prove termination of LCTRSs. We see that existing techniques transfer to the constrained setting in a natural way.
Cynthia Kop
Added 31 Mar 2016
Updated 31 Mar 2016
Type Journal
Year 2016
Where CORR
Authors Cynthia Kop
Comments (0)