Descriptive complexity theory over the real numbers
Grädel, Erich; Meer, Klaus
New York, NY / ACM (1996) [Contribution to a book, Contribution to a conference proceedings]
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Page(s): 381-403
Identifier
- DOI: 10.1145/225058.225151
- REPORT NUMBER: RWTH-CONV-199662