Descriptive complexity theory over the real numbers
Grädel, Erich (Author); Meer, Klaus (Author)
New York, NY / ACM (1996) [Buchbeitrag, Beitrag zu einem Tagungsband]
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Seite(n): 381-403
Identifikationsnummern
- DOI: 10.1145/225058.225151
- REPORT NUMBER: RWTH-CONV-199662