Switch to: Citations

Add references

You must login to add references.
  1. A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
    Download  
     
    Export citation  
     
    Bookmark   30 citations