Logics which capture complexity classes over the reals. Proc. 11. Intern. Symposium on Fundamentals of Computation Theory, Krakow

Meer, K.; Cucker, F.

Berlin [u.a.] : Springer (1997)
Contribution to a book

In: Lecture notes in computer science. - 1279
Page(s)/Article-Nr.: 157-168