70 citations · 123 across the 26 of their papers we have counts for
1 paper · 2 filters
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…