TY - GEN A1 - Cucker, Felipe A1 - Meer, Klaus T1 - Logics which capture complexity classes over the reals T2 - Journal of Symbolic Logic Y1 - 1999 SN - 0022-4812 VL - 64 IS - 1 SP - 363 EP - 390 ER - TY - CHAP A1 - Cucker, Felipe A1 - Meer, Klaus T1 - Logics which capture complexity classes over the reals T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25-29, 1997 Proceedings Y1 - 1997 SP - 398 EP - 407 PB - Springer CY - Heidelberg ER -