Order:
  1.  5
    Mr2729665 (2012b: 68075) 68q05.Edwin J. Beggs, José Félix Costa & John V. Tucker - 2010 - Studia Logica 95 (1-2):279-300.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  1
    Three Forms of Physical Measurement and Their Computability.Edwin Beggs, José Félix Costa & John V. Tucker - 2014 - Review of Symbolic Logic 7 (4):618-646.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    A Foundation for Real Recursive Function Theory.José Félix Costa, Bruno Loff & Jerzy Mycka - 2009 - Annals of Pure and Applied Logic 160 (3):255-288.
    The class of recursive functions over the reals, denoted by , was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography