## Erich Grädel, Klaus Meer

*Descriptive complexity theory over the real numbers*

STOC, 1995.

@inproceedings{STOC-1995-GradelM, author = "Erich Grädel and Klaus Meer", booktitle = "{Proceedings of the 27th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/225058.225151", isbn = "0-89791-718-9", pages = "315--324", publisher = "{ACM}", title = "{Descriptive complexity theory over the real numbers}", year = 1995, }