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
In: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Page(s)/Article-Nr.: 381-403
Identifier
- DOI: 10.1145/225058.225151
- RWTH PUBLICATIONS: RWTH-CONV-199662