Order:
Disambiguations
Felipe Cucker [4]F. Cucker [2]
  1.  22
    Nondeterministic Ω‐Computations and the Analytical Hierarchy.J. Castro & F. Cucker - 1989 - Mathematical Logic Quarterly 35 (4):333-342.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  32
    Nondeterministic Ω-Computations and the Analytical Hierarchy.J. Castro & F. Cucker - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):333-342.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  20
    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  
  4.  7
    Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    On sparseness, reducibilities, and complexity.Felipe Cucker - 2005 - Annals of Pure and Applied Logic 134 (1):53-61.