Logics which capture complexity classes over the reals

Cucker, Felipe; Meer, Klaus

Champaign, Ill : Association for Symbolic Logic (1999)
Journal Article

In: The journal of symbolic logic
Volume: 64
Issue: 1
Page(s)/Article-Nr.: 363-390