@inproceedings{CuckerMeer2016, author = {Felipe Cucker and Klaus Meer}, title = {Logics which capture complexity classes over the reals}, booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings}, pages = {398 -- 407}, year = {2016}, }