Logics which capture complexity classes over the reals

Cucker, Felipe; Meer, Klaus

Champaign, Ill / Association for Symbolic Logic (1999) [Journal Article]

The journal of symbolic logic
Volume: 64
Issue: 1
Page(s): 363-390

Identifier