%0 Conference Paper %1 conf/cie/PassmoreJ12 %A Passmore, Grant Olney %A Jackson, Paul B. %B CiE %D 2012 %E Cooper, S. Barry %E Dawar, Anuj %E Löwe, Benedikt %I Springer %K dblp %P 560-570 %T Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. %U http://dblp.uni-trier.de/db/conf/cie/cie2012.html#PassmoreJ12 %V 7318 %@ 978-3-642-30869-7

@inproceedings{conf/cie/PassmoreJ12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Passmore, Grant Olney and Jackson, Paul B.}, biburl = {https://www.bibsonomy.org/bibtex/2e8dcd6b0295d218e7f8b796dc39d1fba/dblp}, booktitle = {CiE}, crossref = {conf/cie/2012}, editor = {Cooper, S. Barry and Dawar, Anuj and Löwe, Benedikt}, ee = {https://doi.org/10.1007/978-3-642-30870-3_56}, interhash = {87f99e7835d34d675c70d831b9fb8449}, intrahash = {e8dcd6b0295d218e7f8b796dc39d1fba}, isbn = {978-3-642-30869-7}, keywords = {dblp}, pages = {560-570}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:07.000+0200}, title = {Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2012.html#PassmoreJ12}, volume = 7318, year = 2012 }