Armin Grösslinger,
Martin Griebl and
Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. In Journal of Symbolic Computation, Vol. 41(11):1206--1221, November 2006. Keywords: WP3. Note: ISSN 0747-7171.
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44