Descriptive complexity theory over the real numbers
Meer, Klaus (Author); Grädel, Erich (Author)
(1995) [Beitrag zu einem Tagungsband]
Proc. 27. Sympos. Theor. of Comput. Las Vegas 1995
Seite(n): 315-324
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-174069