Descriptive complexity theory over the real numbers

Meer, Klaus; Grädel, Erich

(1995)
Beitrag zu einem Tagungsband

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