Search Results

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

    Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees by Kräling, Thorsten (Author)

    2014

    Get full text
    Book/Monograph Thesis


    Saved in:
  2. 2
    Cover Image

    Joins and meets in the partial orders of the computably enumerable ibT- and cl-degrees by Kräling, Thorsten (Author)

    2014

    Get full text
    Book/Monograph Thesis Online Resource


    Saved in:
  3. 3
    Cover Image

    The nature of computation: logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; proceedings


    Get full text
    Book/Monograph Conference Paper


    Saved in:
  4. 4
    Cover Image

    Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings


    Get full text
    Book/Monograph Conference Paper Online Resource


    Saved in:
  5. 5
    Cover Image

    Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 ; proceedings


    Get full text
    Book/Monograph Conference Paper


    Saved in:
  6. 6
    Cover Image

    Algorithmic randomness by Mihailović, Nenad (Author)

    2007

    Get full text
    Book/Monograph Thesis Online Resource


    Saved in:
  7. 7
    Cover Image

    Finite-state genericity: on the diagonalization strength of finite automata by Busse, Edgar (Author)

    2006

    Get full text
    Book/Monograph Thesis Online Resource


    Saved in:
  8. 8
    Cover Image

    Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997


    Get full text
    Book/Monograph Conference Paper


    Saved in:

Search Tools: