% % GENERATED FROM http://www.coregrid.net % by : anonymous % IP : yoshi.ercim.eu % at : Fri, 15 Jun 2012 09:26:15 +0000 GMT % % Selection : Author: Armin_Grösslinger % @Article{GGL05jsc, AUTHOR = {Grösslinger, Armin and Griebl, Martin and Lengauer, Christian}, TITLE = {Quantifier Elimination in Automatic Loop Parallelization}, YEAR = {2006}, MONTH = {November}, JOURNAL = {Journal of Symbolic Computation}, VOLUME = {41}, NUMBER = {11}, PAGES = {1206--1221}, URL = {http://dx.doi.org/10.1016/j.jsc.2005.09.012}, NOTE = {ISSN 0747-7171}, KEYWORDS = {WP3} }