IndexBrowse  
Publications of Armin Grösslinger   Download bibtex file Order by:   Type | Year
<< 2006 >> TOP
1
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. URL   Bibtex entry
Keywords: WP3.   Note: ISSN 0747-7171.
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
        BibAdmin