Erich Grädel, Klaus Meer. Descriptive complexity theory over the real numbers. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA. pages 315-324, ACM, 1995. [doi]
@inproceedings{GradelM95,
title = {Descriptive complexity theory over the real numbers},
author = {Erich Grädel and Klaus Meer},
year = {1995},
doi = {10.1145/225058.225151},
url = {http://doi.acm.org/10.1145/225058.225151},
researchr = {https://researchr.org/publication/GradelM95},
cites = {0},
citedby = {0},
pages = {315-324},
booktitle = {Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA},
publisher = {ACM},
}