1.  23
    Logics which capture complexity classes over the reals.Felipe Cucker & Klaus Meer - 1999 - Journal of Symbolic Logic 64 (1):363-390.
    In this paper we deal with the logical description of complexity classes arising in the real number model of computation introduced by Blum, Shub, and Smale [4]. We adapt the approach of descriptive complexity theory for this model developped in [14] and extend it to capture some further complexity classes over the reals by logical means. Among the latter we find NC R , PAR R , EXP R and some others more.
    Direct download (8 more)  
    Export citation  
    Bookmark   1 citation  
  2.  7
    Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
    Direct download  
    Export citation  
  3.  8
    On sparseness, reducibilities, and complexity.Felipe Cucker - 2005 - Annals of Pure and Applied Logic 134 (1):53-61.