%0 Journal Article %1 journals/mlq/GrimsonKO12 %A Grimson, Rafael %A Kuijpers, Bart %A Othman, Walied %D 2012 %J Math. Log. Q. %K dblp %N 6 %P 399-416 %T Quantifier elimination for elementary geometry and elementary affine geometry. %U http://dblp.uni-trier.de/db/journals/mlq/mlq58.html#GrimsonKO12 %V 58

@article{journals/mlq/GrimsonKO12, added-at = {2022-04-09T00:00:00.000+0200}, author = {Grimson, Rafael and Kuijpers, Bart and Othman, Walied}, biburl = {https://www.bibsonomy.org/bibtex/2aabed731f98ecf510bcc5d5d5a7b66d1/dblp}, ee = {https://doi.org/10.1002/malq.201100095}, interhash = {c581d6fb28901c309c8e74d68580003b}, intrahash = {aabed731f98ecf510bcc5d5d5a7b66d1}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 6, pages = {399-416}, timestamp = {2024-04-08T17:44:30.000+0200}, title = {Quantifier elimination for elementary geometry and elementary affine geometry.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq58.html#GrimsonKO12}, volume = 58, year = 2012 }