@inproceedings{GraedelMeer, author = {Gr{\"a}del, Erich and Meer, Klaus}, title = {Descriptive Complexity Theory over the real numbers}, series = {Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995}, booktitle = {Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, Las Vegas, 1995}, publisher = {ACM}, address = {New York, NY}, doi = {10.1145/225058.225151}, pages = {315 -- 324}, language = {en} }