Descriptive complexity theory over the real numbers

Berlin ; Heidelberg ; New York / Springer (1995) [Buchbeitrag]

Computer science logic. Berlin [u.a.] 1995
Seite(n): 217-227

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Meer, Klaus

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-096133