Showing 1 - 10 results of 31 for search '"Computable functions."', query time: 0.02s Refine Results
  1. 1

    A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability by Downey, R. G., Greenberg, Noam 1974-

    Published 2020
    Also available remotely for University of the Philippines System via IEEE Xplore. Click here to access thru EZproxy
    Available for University of the Philippines System via IEEE Xplore. Click here to access
    Electronic Resource

    A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
  2. 2

    Discrete structures, logic, and computability by Hein, James L.

    Published 2017
    Book

    Discrete structures, logic, and computability
  3. 3

    Three views of logic mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

    Published 2014
    Table of contents only
    Book

    Three views of logic mathematics, philosophy, and computer science
  4. 4

    Proofs and computations by Schwichtenberg, Helmut 1942-

    Published 2012
    Table of contents only
    Book

    Proofs and computations
  5. 5

    Theory of computation by Tourlakis, George J.

    Published 2012
    Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
    Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy
    Electronic Resource

    Theory of computation
  6. 6

    Introduction to languages and the theory of computation by Martin, John C.

    Published 2011
    Book

    Introduction to languages and the theory of computation
  7. 7

    Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings
  8. 8

    Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
  9. 9

    Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
  10. 10

    Computability and complexity theory by Homer, Steven

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computability and complexity theory

Search Tools: