Skip to contents

  1. Soare, Robert I. [Author]

    Turing computability : theory and applications

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg: Springer, [2016]

    Published in: Theory and applications of computability

  2. Jenner, Birgit [Author]; Kirsig, Bernd [Author] ; Universität Hamburg, Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg Fachbereich Informatik

    Alternierung und logarithmischer Platz

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hamburg, 1989

  3. Christodoulakis, Dimitrios [Author]; Christodulakēs, Dēmētrēs [Author]

    Eine einfache Basis für die Berechenbarkeit : die Konstruktion der universellen Turingmaschine mit einem Zustand, zwei Symbolen und drei Bändern

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    München [u.a.]: Oldenbourg, 1980

    Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 127

  4. Trachtenbrot, Boris Avraamovič [Author] ; Asser, Günter [Other]

    Algorithmen und Rechenautomaten

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin: Deutscher Verlag der Wissenschaften, 1977

    Published in: Studienbuecherei

  5. Kozen, Dexter [Author]

    Automata and computability - [Corr. 3 print.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Berlin; Heidelberg [u.a.]: Springer, [1999]

    Published in: Undergraduate texts in computer science

  6. Lassaigne, Richard [Author]; Rougemont, Michel de [Author]

    Logic and complexity

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London; Berlin; Heidelberg [u.a.]: Springer, 2004

    Published in: Discrete mathematics and theoretical computer science