Descriptive complexity theory over the real numbers

Grädel, Erich; Meer, Klaus

New York, NY : ACM (1996)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Page(s)/Article-Nr.: 381-403

Institutions

  • Department of Mathematics [110000]
  • Chair of Mathematics of Information Processing [114510]

Identifier