Descriptive complexity theory over the real numbers

Meer, Klaus (Author); Grädel, Erich (Author)

(1995) [Beitrag zu einem Tagungsband]

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