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

Einrichtungen

  • Lehrstuhl für Mathematik der Informationsverarbeitung [114510]
  • Fachgruppe Mathematik [110000]

Identifikationsnummern