Works by A. Cobham

( view other items matching `A. Cobham`, view all matches )
10 found
Order:
Disambiguations
Alan Cobham [12]A. Cobham [1]
  1.  32
    Reduction to a symmetric predicate.Alan Cobham - 1956 - Journal of Symbolic Logic 21 (1):56-59.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  9
    An Application of Linear Programming to the Minimization of Boolean Functions.A. Cobham, R. Fridshal & J. H. North - 1965 - Journal of Symbolic Logic 30 (2):247-247.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  25
    Some remarks concerning theories with recursively enumerable complements.Alan Cobham - 1963 - Journal of Symbolic Logic 28 (1):72-74.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  10
    Reduction to a Dyadic Predicate.W. V. Quine & Alan Cobham - 1957 - Journal of Symbolic Logic 22 (3):297-297.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  30
    B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 , pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 , pp. 880–882. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  18
    Ettore Carruccio. Sulle dimostrazioni di coerenza dei sistemi ipotetico-deduttivi. Università e Politecnico di Torino, Rendiconti del Seminario Matematico, vol. 10 , pp. 97–110. [REVIEW]Alan Cobham - 1964 - Journal of Symbolic Logic 29 (4):208.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Michael Arbib and Manuel Blum. Machine dependence of degree of difficulty. Proceedings of the American Mathematical Society, vol. 16 , pp. 442–447. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    Review: B. M. Kloss, S. L. Bloom, The Definition of Complexity of Algorithms. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509-509.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Review: Ettore Carruccio, Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttivi. [REVIEW]Alan Cobham - 1964 - Journal of Symbolic Logic 29 (4):208-208.
     
    Export citation  
     
    Bookmark  
  10.  4
    Review: Michael Arbib, Manuel Blum, Machine Dependence of Degree of Difficulty. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509-509.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark