@misc{CuckerMeer, author = {Cucker, Felipe and Meer, Klaus}, title = {Logics which capture complexity classes over the reals}, series = {Journal of Symbolic Logic}, volume = {64}, journal = {Journal of Symbolic Logic}, number = {1}, issn = {0022-4812}, pages = {363 -- 390}, language = {en} } @inproceedings{CuckerMeer, author = {Cucker, Felipe and Meer, Klaus}, title = {Logics which capture complexity classes over the reals}, series = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings}, booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings}, publisher = {Springer}, address = {Heidelberg}, pages = {398 -- 407}, language = {en} }