Descriptive Complexity Theory over the Real Numbers (1996)

by Erich Grädel, Klaus Meer
Venue:LECTURES IN APPLIED MATHEMATICS