Logics which capture complexity classes over the reals

Cucker, Felipe; Meer, Klaus

Champaign, Ill : Association for Symbolic Logic (1999)
Fachzeitschriftenartikel

In: The journal of symbolic logic
Band: 64
Heft: 1
Seite(n)/Artikel-Nr.: 363-390