Descriptive complexity theory over the real numbers

Grädel, Erich; Meer, Klaus

New York, NY / ACM (1996) [Contribution to a book, Contribution to a conference proceedings]

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