%0 Conference Paper %1 conf/casc/LasarukS07 %A Lasaruk, Aless %A Sturm, Thomas %B CASC %D 2007 %E Ganzha, Victor G. %E Mayr, Ernst W. %E Vorozhtsov, Evgenii V. %I Springer %K dblp %P 275-294 %T Weak Integer Quantifier Elimination Beyond the Linear Case. %U http://dblp.uni-trier.de/db/conf/casc/casc2007.html#LasarukS07 %V 4770 %@ 978-3-540-75186-1

@inproceedings{conf/casc/LasarukS07, added-at = {2017-06-15T00:00:00.000+0200}, author = {Lasaruk, Aless and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/201510b3402bb1d950c6410eaa9b2482f/dblp}, booktitle = {CASC}, crossref = {conf/casc/2007}, editor = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, ee = {https://doi.org/10.1007/978-3-540-75187-8_22}, interhash = {d24d980412e5b23c2993893beca1a754}, intrahash = {01510b3402bb1d950c6410eaa9b2482f}, isbn = {978-3-540-75186-1}, keywords = {dblp}, pages = {275-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:54:27.000+0200}, title = {Weak Integer Quantifier Elimination Beyond the Linear Case.}, url = {http://dblp.uni-trier.de/db/conf/casc/casc2007.html#LasarukS07}, volume = 4770, year = 2007 }