%0 Conference Paper %1 conf/issac/SeidlS03 %A Seidl, Andreas %A Sturm, Thomas %B ISSAC %D 2003 %E Sendra, J. Rafael %I ACM %K dblp %P 240-247 %T A generic projection operator for partial cylindrical algebraic decomposition. %U http://dblp.uni-trier.de/db/conf/issac/issac2003.html#SeidlS03 %@ 1-58113-641-2

@inproceedings{conf/issac/SeidlS03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Seidl, Andreas and Sturm, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2f7b001a265d1581c6e6d1be1d35af1e2/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2003}, editor = {Sendra, J. Rafael}, ee = {https://doi.org/10.1145/860854.860903}, interhash = {032f541635aec70a6fda22b955c98bcc}, intrahash = {f7b001a265d1581c6e6d1be1d35af1e2}, isbn = {1-58113-641-2}, keywords = {dblp}, pages = {240-247}, publisher = {ACM}, timestamp = {2018-11-07T16:20:18.000+0100}, title = {A generic projection operator for partial cylindrical algebraic decomposition.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2003.html#SeidlS03}, year = 2003 }