9 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
Moritz Sinn, Florian Zuleger, Helmut Veith
Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form x' <= y + c, and describe that the value of…