Descriptive complexity theory over the real numbers

Grädel, Erich (Author); Meer, Klaus (Author)

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

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