Descriptive complexity theory over the real numbers

Grädel, Erich; Meer, Klaus

Berlin ; Heidelberg ; New York / Springer (1995) [Contribution to a book]

Computer science logic. Berlin [u.a.] 1995
Page(s): 217-227

Identifier

  • REPORT NUMBER: RWTH-CONV-096133