Switch to: Citations

Add references

You must login to add references.
  1. Manuel Blum. A Machine-independent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 322–336. [REVIEW]Manuel Blum - 1970 - Journal of Symbolic Logic 34 (4):657-658.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Subalgebras of Diagonalizable Algebras of Theories Containing Arithmetic.Vladimir I͡U Shavrukov - 1993
    Download  
     
    Export citation  
     
    Bookmark   9 citations