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

Institutions

  • Chair of Mathematics of Information Processing [114510]
  • Department of Mathematics [110000]

Identifier