26 citations · 80 across the 49 of their papers we have counts for
1 paper · 2 filters
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs…