Descriptive complexity theory over the real numbers

Grädel, Erich; Meer, Klaus

New York, NY : ACM (1996)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Seite(n)/Artikel-Nr.: 381-403

Einrichtungen

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

Identifikationsnummern