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]