%0 Conference Paper %1 conf/scsquare/KremerN22 %A Kremer, Gereon %A Nalbach, Jasper %B SC-Square@FLoC %D 2022 %E Uncu, Ali Kemal %E Barbosa, Haniel %I CEUR-WS.org %K dblp %P 1-9 %T Cylindrical Algebraic Coverings for Quantifiers (short paper). %U http://dblp.uni-trier.de/db/conf/scsquare/scsquare2022.html#KremerN22 %V 3458

@inproceedings{conf/scsquare/KremerN22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kremer, Gereon and Nalbach, Jasper}, biburl = {https://www.bibsonomy.org/bibtex/2bf55c1942c78fae1eaa1bf17f51e964a/dblp}, booktitle = {SC-Square@FLoC}, crossref = {conf/scsquare/2022}, editor = {Uncu, Ali Kemal and Barbosa, Haniel}, ee = {https://ceur-ws.org/Vol-3458/paper1.pdf}, interhash = {6767a312964c69abcee152d89c5a693c}, intrahash = {bf55c1942c78fae1eaa1bf17f51e964a}, keywords = {dblp}, pages = {1-9}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T10:20:23.000+0200}, title = {Cylindrical Algebraic Coverings for Quantifiers (short paper).}, url = {http://dblp.uni-trier.de/db/conf/scsquare/scsquare2022.html#KremerN22}, volume = 3458, year = 2022 }