Descriptive complexity theory over the real numbers

Meer, Klaus; Grädel, Erich

(1995) [Contribution to a conference proceedings]

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

Identifier

  • REPORT NUMBER: RWTH-CONV-174069