@inproceedings{DBLP:conf/casc/LasarukS07,
author = {Aless Lasaruk and
Thomas Sturm},
title = {Weak Integer Quantifier Elimination Beyond the Linear Case},
booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop,
{CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
pages = {275--294},
year = {2007},
crossref = {DBLP:conf/casc/2007},
url = {https://doi.org/10.1007/978-3-540-75187-8\_22},
doi = {10.1007/978-3-540-75187-8\_22},
timestamp = {Thu, 15 Jun 2017 21:32:35 +0200},
biburl = {https://dblp.org/rec/bib/conf/casc/LasarukS07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2007,
editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {Computer Algebra in Scientific Computing, 10th International Workshop,
{CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4770},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75187-8},
doi = {10.1007/978-3-540-75187-8},
isbn = {978-3-540-75186-1},
timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
biburl = {https://dblp.org/rec/bib/conf/casc/2007},
bibsource = {dblp computer science bibliography, https://dblp.org}
}