Reflexive transitive invariant relations: A basis for computing loop functions

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi. Reflexive transitive invariant relations: A basis for computing loop functions. Journal of Symbolic Computation, 45(11):1114-1143, 2010. [doi]

Authors

Ali Mili

This author has not been identified. Look up 'Ali Mili' in Google

Shir Aharon

This author has not been identified. Look up 'Shir Aharon' in Google

Chaitanya Nadkarni

This author has not been identified. Look up 'Chaitanya Nadkarni' in Google

Lamia Labed Jilani

This author has not been identified. Look up 'Lamia Labed Jilani' in Google

Asma Louhichi

This author has not been identified. Look up 'Asma Louhichi' in Google

Olfa Mraihi

This author has not been identified. Look up 'Olfa Mraihi' in Google