Descriptive complexity theory over the real numbers
Meer, Klaus; Grädel, Erich
(1995)
Beitrag zu einem Tagungsband
In: Proc. 27. Sympos. Theor. of Comput. Las Vegas 1995
Seite(n)/Artikel-Nr.: 315-324
Einrichtungen
- Lehrstuhl für Mathematik der Informationsverarbeitung [114510]
- Fachgruppe Mathematik [110000]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-174069