Descriptive complexity theory over the real numbers

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

New York, NY / ACM (1996) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Seite(n): 381-403