Descriptive complexity theory over the real numbers

Meer, Klaus; Grädel, Erich

(1995)
Contribution to a conference proceedings

In: Proc. 27. Sympos. Theor. of Comput. Las Vegas 1995
Page(s)/Article-Nr.: 315-324