Suggested Topics within your search.
Showing 1 - 13 results of 13 for search '' Refine Results
  1. 1
    Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.
    Published 1999
    Book
    Save to List
    Saved in:
  2. 2
    Computable functions / A. Shen, N.K. Vereshchagin.
    by Shen, A. (Alexander), 1958-
    Published 2003
    Book
    Save to List
    Saved in:
  3. 3
    Introduction to languages and the theory of computation / John C. Martin.
    by Martin, John C.
    Published 2002
    Edition: 3rd ed.
    Book
    Save to List
    Saved in:
  4. 4
    Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, September 3-7, 1979.
    Published 1979
    Book
    Save to List
    Saved in:
  5. 5
    Automata, computability and complexity : theory and applications / Elaine Rich.
    by Rich, Elaine
    Published 2008
    Book
    Save to List
    Saved in:
  6. 6
    Computability theory / Rebecca Weber.
    by Weber, Rebecca, 1977-
    Published 2012
    Book
    Save to List
    Saved in:
  7. 7
    Computability : an introduction to recursive function theory / Nigel Cutland.
    by Cutland, Nigel
    Published 1980
    Book
    Save to List
    Saved in:
  8. 8
    Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett.
    Book
    Save to List
    Saved in:
  9. 9
    Models of computation : an introduction to computability theory / Maribel Fernandez.
    by Fernandez, Maribel
    Published 2009
    Book
    Save to List
    Saved in:
  10. 10
    Theories of computability / Nicholas Pippenger.
    by Pippenger, Nicholas
    Published 2010
    Book
    Save to List
    Saved in:
  11. 11
    Higher-order computability / John Longley, Dag Normann.
    by Longley, John, Normann, Dag, 1947-
    Published 2015
    Book
    Save to List
    Saved in:
  12. 12
    Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
    Book
    Save to List
    Saved in:
  13. 13
    Unsolvable classes of quantificational formulas / Harry R. Lewis.
    by Lewis, Harry R.
    Published 1979
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search