Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura. Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 81-92, EasyChair, 2013. [doi]

Authors

Rachid Rebiha

This author has not been identified. Look up 'Rachid Rebiha' in Google

Nadir Matringe

This author has not been identified. Look up 'Nadir Matringe' in Google

Arnaldo Vieira Moura

This author has not been identified. Look up 'Arnaldo Vieira Moura' in Google