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)
Buchbeitrag
In: Lecture notes in computer science. - 1279
Seite(n)/Artikel-Nr.: 157-168
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-097066