Search Results - "Turing (Computer program language)"

  • Showing 1 - 12 results of 12
Refine Results
  1. Cover Image

    TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS. by Marker, David, Miller, Russell

    Published in Journal of Symbolic Logic (Mar2017)

    View this record in EBSCOhost
    Article
  2. Cover Image

    Computation in cognitive science: it is not all about Turing-equivalent computation by Aizawa, Kenneth


    View this record in EBSCOhost
    Article
  3. Cover Image

    SPECTRA OF STRUCTURES AND RELATIONS. by Harizanov, Valentina S., Miller, Russell G.

    Published in Journal of Symbolic Logic (Mar2007)

    View this record in EBSCOhost
    Article
  4. Cover Image

    BOUNDING HOMOGENEOUS MODELS. by Csima, Barbara F., Harizanov, Valentina S., Hirschfeldt, Denis R., Soare, Robert I.

    Published in Journal of Symbolic Logic (Mar2007)

    View this record in EBSCOhost
    Article
  5. Cover Image

    A Turing Tale. by Daylight, Edgar G.

    Published in Communications of the ACM (Oct2014)

    View this record in EBSCOhost
    Opinion
  6. Cover Image

    Stop Chasing the AI Illusion. by Croy, Tim, Kaptanoglu, Sinan, LeVine, Michael N., Hills, Frederick L., Carrott, John A., Prodan, Lucian

    Published in Communications of the ACM (Apr2007)

    View this record in EBSCOhost
    Letter
  7. Cover Image

    THE LOGIC OF INTERACTIVE TURING REDUCTION. by Japaridze, Giorgi

    Published in Journal of Symbolic Logic (Mar2007)

    View this record in EBSCOhost
    Article
  8. Cover Image

    FROM BI-IMMUNITY TO ABSOLUTE UNDECIDABILITY. by BIENVENU, LAURENT, DAY, ADAM R., HÖLZL, RUPERT

    Published in Journal of Symbolic Logic (Dec2013)

    View this record in EBSCOhost
    Article
  9. Cover Image

    BOUNDING NON-GL AND R.E.A. by AMBOS-SPIES, KLAUS, DECHENG DING, WEI WANG, LIANG YU

    Published in Journal of Symbolic Logic (Sep2009)

    View this record in EBSCOhost
    Article
  10. Cover Image

    FORCING WITH BUSHY TREES. by KHAN, MUSHFEQ, MILLER, JOSEPH S.

    Published in Bulletin of Symbolic Logic (Jun2017)

    View this record in EBSCOhost
    Article
  11. Cover Image

    SPECTRA OF ATOMIC THEORIES. by ANDREWS, URI, KNIGHT, JULIA F.

    Published in Journal of Symbolic Logic (Dec2013)

    View this record in EBSCOhost
    Article
  12. Cover Image

    Purpose-Built Languages. by Shapiro, Mike

    Published in Communications of the ACM (Apr2009)

    View this record in EBSCOhost
    Article

Search Tools: