John Harding. Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$. J. Philosophical Logic, 42(3):461-465, 2013. [doi]
@article{Harding13,
title = {Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$},
author = {John Harding},
year = {2013},
doi = {10.1007/s10992-013-9270-x},
url = {http://dx.doi.org/10.1007/s10992-013-9270-x},
researchr = {https://researchr.org/publication/Harding13},
cites = {0},
citedby = {0},
journal = {J. Philosophical Logic},
volume = {42},
number = {3},
pages = {461-465},
}