Descriptive complexity theory over the real numbers
Meer, Klaus; Grädel, Erich
(1995)
Contribution to a conference proceedings
In: Proc. 27. Sympos. Theor. of Comput. Las Vegas 1995
Page(s)/Article-Nr.: 315-324
Institutions
- Chair of Mathematics of Information Processing [114510]
- Department of Mathematics [110000]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-174069