Descriptive complexity theory over the real numbers
Grädel, Erich; Meer, Klaus
New York, NY : ACM (1996)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Seite(n)/Artikel-Nr.: 381-403
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehrstuhl für Mathematik der Informationsverarbeitung [114510]
Identifikationsnummern
- DOI: 10.1145/225058.225151
- RWTH PUBLICATIONS: RWTH-CONV-199662