1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…