Descriptive complexity theory over the real numbers

Grädel, Erich; Meer, Klaus

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