%0 Journal Article %1 journals/apal/SolovayAH12 %A Solovay, Robert %A Arthan, R. D. %A Harrison, John %D 2012 %J Ann. Pure Appl. Log. %K dblp %N 12 %P 1765-1802 %T Some new results on decidability for elementary algebra and geometry. %U http://dblp.uni-trier.de/db/journals/apal/apal163.html#SolovayAH12 %V 163

@article{journals/apal/SolovayAH12, added-at = {2020-02-21T00:00:00.000+0100}, author = {Solovay, Robert and Arthan, R. D. and Harrison, John}, biburl = {https://www.bibsonomy.org/bibtex/244f6ee6d3cbee33c4cb2b63ca3596adc/dblp}, ee = {https://doi.org/10.1016/j.apal.2012.04.003}, interhash = {4b9fe0a836f14777a206a49a10b2904d}, intrahash = {44f6ee6d3cbee33c4cb2b63ca3596adc}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 12, pages = {1765-1802}, timestamp = {2020-02-22T12:48:02.000+0100}, title = {Some new results on decidability for elementary algebra and geometry.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal163.html#SolovayAH12}, volume = 163, year = 2012 }