%0 Conference Paper %1 conf/casc/LasarukS09 %A Lasaruk, Aless %A Sturm, Thomas %B CASC %D 2009 %E Gerdt, Vladimir P. %E Mayr, Ernst W. %E Vorozhtsov, Evgenii V. %I Springer %K dblp %P 195-212 %T Effective Quantifier Elimination for Presburger Arithmetic with Infinity. %U http://dblp.uni-trier.de/db/conf/casc/casc2009.html#LasarukS09 %V 5743 %@ 978-3-642-04102-0

@inproceedings{conf/casc/LasarukS09, added-at = {2017-06-15T00:00:00.000+0200}, author = {Lasaruk, Aless and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/258245fb816330f6e9ed7e5963d53cbc0/dblp}, booktitle = {CASC}, crossref = {conf/casc/2009}, editor = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, ee = {https://doi.org/10.1007/978-3-642-04103-7_18}, interhash = {e6544612ecf5cc73437b4b00e30e00da}, intrahash = {58245fb816330f6e9ed7e5963d53cbc0}, isbn = {978-3-642-04102-0}, keywords = {dblp}, pages = {195-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:54:11.000+0200}, title = {Effective Quantifier Elimination for Presburger Arithmetic with Infinity.}, url = {http://dblp.uni-trier.de/db/conf/casc/casc2009.html#LasarukS09}, volume = 5743, year = 2009 }